Solver
Competitions:
2008
- First Probabilistic Inference
Evaluation (UAI-2008): Toulbar
was the best performing solver in the MPE
track
- Third International CSP Solver
Competition (CP-2008): Toulbar2
was the best performing solver in the Max-CSP
(extentional constraints) track.
- Third Max-SAT evaluation
(SAT-2008): MiniMaxSat
was the best performing solver in the industrial weighted partial
max-SAT track.
2006-7
- Second Max-SAT evaluation
(SAT-2007): MiniMaxSat
was the best performing solver in the weighted and unweighted partial
max-SAT track.
- Second International CSP Solver
Competition (CP-2006): Toolbar
was the best performing solver in the Max-CSP
(extentional constraints) track.