Boolean satisfiability problem: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

8 January 2015

15 February 2014

  • curprev 13:1413:14, 15 February 2014‎ en>Jochen Burghardt‎ 45,825 bytes −839‎ moved ref.s to central ((cite doi)) template pages, where possible

29 January 2014

  • curprev 20:2720:27, 29 January 2014‎ en>Jochen Burghardt‎ 46,664 bytes +46,664‎ undid edit made in good faith by 197.207.52.162; reason: stay consistent with the remark at the end of section "3-satisfiability": "Some authors restrict k-SAT to CNF formulas with exactly k literals. ..."

23 July 2012

Retrieved from "https://en.formulasearchengine.com/wiki/Boolean_satisfiability_problem"