Revision as of 18:07, 8 May 2009 edit 193.95.179.200 (talk) →External links: +wl to evaluation site ← Previous edit		Revision as of 10:23, 24 May 2009 edit undo 152.78.236.156 (talk) No edit summary Next edit →
Line 142: * [http://users.ecs.soton.ac.uk/mqq06r/sat/ SAT and MAX-SAT for the Lay-researcher] SAT Applications: * [http://users.ecs.soton.ac.uk/mqq06r/winsat/ WinSAT v2.0]: A Windows based SAT application made particularly for researchers. SAT Solvers:

Boolean satisfiability problem: Difference between revisions