Revision as of 15:17, 7 May 2009 edit Guarani.py (talk \| contribs) 24 edits No edit summary ← Previous edit		Revision as of 18:07, 8 May 2009 edit undo 193.95.179.200 (talk) →External links: +wl to evaluation site Next edit →
Line 170: * http://www.satlive.org * http://www.satisfiability.org Evaluation of SAT solvers: * [http://www.maxsat.udl.cat/ Yearly evaluation of SAT solvers] * [http://www.maxsat.udl.cat/08/ms08.pdf SAT solvers evaluation results for 2008] ----

Boolean satisfiability problem: Difference between revisions