Boolean satisfiability problem: Revision history

8 January 2015

• curprev 20:0620:06, 8 January 2015 en>Monsterman222 m 46,443 bytes +618 No edit summary

15 February 2014

• curprev 12:1412: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 19:2719: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

• curprev 21:5021:50, 23 July 2012 141.248.3.1 talk 25,567 bytes +25,567 →Self-reducibility: - very small correction - spelling of "unsatisfiable"