Contrasat – A Contrarian SAT Solver

Allen Van Gelder

Abstract


The SAT solver Contrasat is a small variation of the well-established Minisat solver. It was entered in the Minisat hack track of the 2011 SAT competition, and was judged to be first place in one category. This paper describes the code change and its motivation. The characterization as “contrarian” is explained. Experimental results are summarized.

Keywords


SAT solver, CDCL, Minisat, volunteer, Contrasat

Full Text:

PDF

Refbacks

  • There are currently no refbacks.