Multiple preprocessing for systematic SAT solvers
Date
Authors
Anbulagan, Anbu
Slaney, John K
Journal Title
Journal ISSN
Volume Title
Publisher
Conference Organising Committee
Abstract
High-performance SAT solvers based on systematic search generally use either conflict driven clause learning (CDCL) or lookahead techniques to gain efficiency. Both styles of reasoning can gain from a preprocessing phase in which some form of deduction is
Description
Citation
Collections
Source
Proceedings of 6th International Workshop on the Implementation of Logics (IWIL-06)
Type
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31