SAT-Race 2008 Solvers

Here you can find a list of all solvers participating in (the final round of) SAT-Race 2008. Click on a solver's name to download a short description in PDF format.

Main Track (Sequential CNF)

Solver	Author(s)	Affiliation
Barcelogic	Morgan Deters, Robert Nieuwenhuis, Albert Oliveras, Enric Rodriguez, Roberto Asin, Germain Faure	Tech. Univ. Catalonia
clasp	Torsten Schaub, Martin Gebser, Benjamin Kaufmann, Andre Neumann, Torsten Schaub	University of Potsdam
CMUSAT	Himanshu Jain	Carnegie Mellon Univ.
eSAT	Said Jabbour, Lakhdar Sais, Gilles Audemard, Lucas Bordeaux, Youssef Hamadi	CrilLens / Microsoft
Eureka	Vadim Ryvchin, Alexander Nadel	Intel
kw	Johan Alfredsson	Oepir Consulting
LocalMinisat	Vadim Ryvchin, Ofer Strichman	Technion
MiniSat	Niklas Sörensson, Niklas Een	Independent / Cadence Research Lab
MXC	David Bregman, David Mitchell	SimonFraserUniversity
picosat	Armin Biere	Johannes Kepler University
preSAT	Cédric Piette, Youssef Hamadi, Lakhdar Saïs	CRIL-CNRS / Microsoft Research
Rsat	Knot Pipatsrisawat, Adnan Darwiche	UCLA
SAT4J2.0	Daniel Le Berre	CRIL-CNRS
SATzilla	Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown	UBC
Spear	Domagoj Babic	UBC
Tinisat	Jinbo Huang	NICTA

Special Track 1 (Parallel CNF)

Solver	Author(s)	Affiliation
ManySat	Youssef Hamadi, Said Jabbour, Lakhdar Sais	Microsoft Research / CRIL-CNRS
MiraXT	Tobias Schubert, Matthew Lewis, Bernd Becker	University of Freiburg
pMiniSat	Geoffrey Chu	University of Melbourne

Special Track 2 (Sequential AIG)

Solver	Author(s)	Affiliation
CMUSAT-AIG	Himanshu Jain	Carnegie Mellon University
kw_aiger	Johan Alfredsson	Oepir Consulting
MiniCirc	Niklas Eén, Niklas Sörensson	Cadence Research Labs / Independent
MiniSat++	Niklas Sörensson, Niklas Eén	Independent / Cadence Research Labs
NFLSAT	Himanshu Jain	Carnegie Mellon University
picoaigersat	Armin Biere	Johannes Kepler University