Revision as of 10:23, 24 May 2009 edit 152.78.236.156 (talk) No edit summary ← Previous edit		Revision as of 10:29, 30 May 2009 edit undo 86.17.59.201 (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.004]: A Windows based SAT application made particularly for researchers. SAT Solvers:

Boolean satisfiability problem: Difference between revisions