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...

Full description

Bibliographic Details

Published in:	2008 20th IEEE International Conference on Tools with Artificial Intelligence Vol. 2; pp. 59 - 65
Main Authors:	San Segundo, P., Tapia, C., Puente, J., Rodriguez-Losada, D.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.11.2008
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!