Találati lista | Tudóstér

001-es BibID:	BIBFORM036966
Első szerző:	Nagy Benedek (informatikus, matematikus)
Cím:	On efficient algorithms for SAT / Benedek Nagy
Dátum:	2012
Megjegyzések:	There are several papers in which SAT is solved in linear time by various new computing paradigms, and specially by various membrane computing systems. In these approaches the used alphabet depends on the number of variables. In this paper we show that the set of valid SAT-formulae and n-SAT-formulae (for any fixed n) over finite sets of variables are regular languages. We show a construction of deterministic finite automata which accept the SAT and n-SAT languages in conjunctive normal form checking both their syntax and satisfiable evaluations. Theoretically the words of the SAT languages can be accepted by linear time on their lengths by a traditional computer.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok előadáskivonat Fizikai-, Számítás- és Anyagtudomány
Megjelenés:	13th International Conference on Membrane Computing : Budapest ..., August 28-31, 2012 : proceedings / (eds.) Erzsébet Csuhaj-Varjú, Marian Gheorghe, György Vaszil. - p. 323-339. -
Pályázati támogatás:	TÁMOP-4.2.1/B-09/1/KONV-2010-0007 TÁMOP Kriptográfia algoritmusok és protokollok
Internet cím:	Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon: