You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

Contrasat – A Contrarian SAT Solver

Subtitle: System description

Article type: Research Article

Authors: Van Gelder, Allen

Affiliations: Computer Science Dept., University of California, Santa Cruz, CA 95064, USA. URL: http://www.cse.ucsc.edu/~avg/

Keywords: SAT solver, CDCL, Minisat, volunteer, Contrasat

DOI: 10.3233/SAT190093

Journal: Journal on Satisfiability, Boolean Modeling and Computation, vol. 8, no. 3-4, pp. 117-122, 2012

Received 1 September 2011
|
Revision received 1 February 2012
|
Published: 1 March 2012
Get PDF open access

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.

Show more