Partenaires
Home page > Research > Other web sites
Other web sites
Second Competition of CSP Solvers
The second competition of CSP solvers was run in the PB06 evaluation framework on the cluster at CRIL. Results are available here.
SAT Live!
SAT Live! is a web site portal dedicated to the SATisfiability problem. Links to the latest papers, conferences, software, benchmarks around SAT can be found there.
PB07 : Third Evaluation of Pseudo-Boolean Solvers
The third evaluation of pseudo-Boolean solvers was run on the cluster at CRIL and was organized by V. Manquiho and O. Roussel. The PB07 evaluation web site presents all results.
SAT 2007 Competition
The SAT 2007 competition was run on the cluster at CRIL, in the same evaluation environment as the PB06 and PB07 evaluations and the CPAI06 competition. See the SAT competitions web site and all the details about the SAT 2007 competition.
PB06 : Second Evaluation of Pseudo-Boolean Solvers
The second evaluation of pseudo-Boolean solvers was run on the cluster at CRIL and was organized by V. Manquiho and O. Roussel. The PB06 evaluation web site presents all results.