Revision as of 04:23, 29 September 2016 edit 2601:445:4001:8a30:65a1:6152:c0e3:13e7 (talk) →Basic definitions and terminology ← Previous edit		Revision as of 04:24, 29 September 2016 edit undo 2601:445:4001:8a30:65a1:6152:c0e3:13e7 (talk) →See also Next edit →
Line 409: {{commons category\|Boolean satisfiability problem}} [[Unsatisfiable core]] [[Satisfiability ~~Modulo~~modulo ~~Theories~~theories]] [[Sharp-SAT\|Counting SAT]] [[Karloff–Zwick algorithm]]

Boolean satisfiability problem: Difference between revisions