SAT-Race
2006
SAT-Race 2006 Solvers
Here you can find a list of all solvers participating in (the final round of) SAT-Race 2006. Click on a solver's name to download a short description in PDF format.
| Solver | Submitter | Affiliation |
|---|---|---|
| Actin (minisat+i) | Raihan Kibria | TU Darmstadt |
| Barcelogic | Robert Nieuwenhuis, Albert Oliveras, Tomás Lloret | Technical University Catalonia, Barcelona |
| Cadence MiniSAT | Niklas Eén, Niklas Sörensson | Cadence Berkeley Labs, Chalmers University |
| CompSAT | Armin Biere | JKU Linz |
| Eureka | Alexander Nadel, Moran Gordon, Amit Palti, Ziyad Hanna | Intel |
| HyperSAT | Domagoj Babic, Alan J. Hu | University of British Columbia |
| MiniSAT 2.0 | Niklas Sörensson, Niklas Eén | Chalmers University, Cadence Berkeley Labs |
| mucsat | Nicolas Rachinsky, Klaus Aehlig | LMU Munich |
| MXC v.1 | David R. Bregman, David G. Mitchell | Simon Fraser University |
| PicoSAT | Armin Biere | JKU Linz |
| QCompSAT | Armin Biere | JKU Linz |
| QPicoSAT | Armin Biere | JKU Linz |
| Rsat | Knot Pipatsrisawat, Adnan Darwiche | UCLA |
| SAT4J | Daniel Le Berre | CRIL-CNRS |
| TINISAT | Jinbo Huang | National ICT Australia |
| zChaff 2006 | Zhaohui Fu, Yogesh Marhajan, Sharad Malik | Princeton University |