Contrasat – A Contrarian SAT Solver
Allen Van Gelder · Journal on Satisfiability Boolean Modeling and Computation · 2012
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