Rights / licenseIn Copyright - Non-Commercial Use Permitted
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
External linksSearch via SFX
Journal / seriesTechnical reports
PublisherETH, Department of Computer Science
Organisational unit02150 - Dep. Informatik / Dep. of Computer Science
NotesTechnical Reports D-INFK.
MoreShow all metadata