Open access
Author
Date
2004-04Type
- Report
ETH Bibliography
yes
Altmetrics
Abstract
In this technical report we summarize the evolution of SAT solvers implemented at the formal methods group at ETH Z¨urich. We start with LIMMAT and COMPSAT, which both took part in the SAT’03 SAT solver competition. From the more ambitious design of FUNEX we reach the minimal implementation of NANOSAT. We close the discussion with an overview on how our QBF solver QUANTOR can be used as a preprocessor for SAT. We highlight differences to similar implementations, emphasizing new ideas. No detailed experimental comparison is provided, since the main purpose of this technical report is to give a reference point for the SAT’04 SAT solver competition. Show more
Permanent link
https://doi.org/10.3929/ethz-a-006744011Publication status
publishedJournal / series
Technical reportsVolume
Publisher
ETH, Department of Computer ScienceOrganisational unit
02150 - Dep. Informatik / Dep. of Computer Science
Notes
Technical Reports D-INFK.More
Show all metadata
ETH Bibliography
yes
Altmetrics