IEEE - Institute of Electrical and Electronics Engineers, Inc. - Validating SAT solvers using an independent resolution-based checker: practical implementations and other applications

6th Design Automation and Test in Europe (DATE 03)

Author(s): Lintao Zhang ; S. Malik
Sponsor(s): EDAA
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2003
Conference Location: Munich, Germany, Germany
Conference Date: 7 March 2003
Page Count: 6
Page(s): 880 - 885
ISBN (Paper): 0-7695-1870-2
ISSN (Paper): 1530-1591
DOI: 10.1109/DATE.2003.1253717
Regular:

As the use of SAT solvers as core engines in EDA applications grows, it becomes increasingly important to validate their correctness. In this paper, we describe the implementation of an... View More

Advertisement