IEEE - Institute of Electrical and Electronics Engineers, Inc. - Guiding CNF-SAT Search by Analyzing Constraint-Variable Dependencies and Clause Lengths

11th IEEE International High Level Design Validation and Test Workshop

Author(s): V. Durairaj ; P. Kalla
Sponsor(s): IEEE Comput. Soc. Test Technol. Tech. Council
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2006
Conference Location: Monterey, CA, USA
Conference Date: 8 November 2006
Page(s): 155 - 161
ISBN (CD): 1-4244-0680-3
ISBN (Paper): 1-4244-0679-X
ISSN (Paper): 1552-6674
DOI: 10.1109/HLDVT.2006.319983
Regular:

The type of decision strategies employed for CNF-SAT have a profound effect on the efficiency and performance of SAT engines. Over the years, a variety of decision heuristics have been proposed;... View More

Advertisement