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
Related Products
Searching for related products...
Related Suppliers
Searching for related suppliers...