A New Exact Bit-Parallel Algorithm for SAT

This paper presents two new exact general purpose bit-parallel algorithms (BB-SAT and BBP-SAT) for the Boolean satisfiability problem (SAT). Based on the authors' recent successful bit-parallel algorithm for the maximum clique problem, the SAT formula is first reduced to a directed graph which...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2008 20th IEEE International Conference on Tools with Artificial Intelligence Ročník 2; s. 59 - 65
Hlavní autoři:	San Segundo, P., Tapia, C., Puente, J., Rodriguez-Losada, D.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.11.2008
Témata:	Artificial intelligence bit vector bit-parallelism Boolean satisfiability Data mining Data structures directed graphs Encoding exact algorithms Input variables Intelligent control NP-complete problem Parallel processing Programming profession SAT
ISBN:	0769534406, 9780769534404
ISSN:	1082-3409
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!