One-in-three 3SAT: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 07:1707:17, 21 October 2014‎ Jochen Burghardt talk contribs‎ 87 bytes +2‎ ←Redirected page to Boolean satisfiability problem#Exactly-1 3-satisfiability undo
curprev 07:1607:16, 21 October 2014‎ Jochen Burghardt talk contribs‎ 85 bytes +41‎ more precise target undo

curprev 22:5222:52, 2 June 2013‎ Wiki.Tango.Foxtrot talk contribs‎ m 44 bytes −4,844‎ merging content to Boolean satisfiability problem undo

curprev 02:0102:01, 15 March 2013‎ Addbot talk contribs‎ m 4,888 bytes −47‎ Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q4120324 undo

curprev 22:1422:14, 10 January 2013‎ Alph Bot talk contribs‎ m 4,935 bytes +24‎ r2.6.5) (Robot: Adding pt:3SAT um em três undo

curprev 05:3505:35, 28 December 2012‎ Synthebot talk contribs‎ m 4,911 bytes −24‎ r2.7.3) (Robot: Removing pt:3sat um em três undo

curprev 08:2808:28, 24 December 2012‎ MZMcBride talk contribs‎ 4,935 bytes −32‎ -Category:Article Feedback 5 undo

curprev 03:5203:52, 10 July 2012‎ 125.236.232.186 talk‎ 4,967 bytes −2‎ No edit summary undo

curprev 20:3020:30, 2 July 2012‎ ZéroBot talk contribs‎ m 4,969 bytes +1‎ r2.7.1) (Robot: Adding pt:3sat um em três undo
curprev 20:2920:29, 2 July 2012‎ ZéroBot talk contribs‎ m 4,968 bytes +23‎ r2.7.1) (Robot: Adding pt:3sat um em tres undo

curprev 15:5615:56, 26 June 2012‎ J. Finkelstein talk contribs‎ m 4,945 bytes +30‎ →‎Algorithms: removed extra newlines around citation undo

curprev 15:4715:47, 27 April 2012‎ Hiiiiiiiiiiiiiiiiiiiii talk contribs‎ 4,915 bytes −38‎ hopefully got the cite right this time undo
curprev 15:4615:46, 27 April 2012‎ Hiiiiiiiiiiiiiiiiiiiii talk contribs‎ 4,953 bytes +278‎ No edit summary undo
curprev 15:4315:43, 27 April 2012‎ Hiiiiiiiiiiiiiiiiiiiii talk contribs‎ 4,675 bytes +324‎ No edit summary undo

curprev 01:1601:16, 5 January 2012‎ Reedy Bot talk contribs‎ 4,351 bytes +32‎ →‎References: Tagging for AFT v5 undo

curprev 22:4022:40, 7 December 2011‎ 130.245.249.179 talk‎ 4,319 bytes −6‎ No edit summary undo
curprev 22:1122:11, 7 December 2011‎ 130.245.249.179 talk‎ 4,325 bytes −324‎ No edit summary undo

curprev 02:4002:40, 6 December 2011‎ Mgccl talk contribs‎ 4,649 bytes +275‎ No edit summary undo
curprev 02:3402:34, 6 December 2011‎ 130.245.249.179 talk‎ 4,374 bytes +115‎ No edit summary undo
curprev 02:2202:22, 6 December 2011‎ 130.245.249.179 talk‎ 4,259 bytes +402‎ No edit summary undo

curprev 19:4019:40, 5 August 2011‎ Pmlaroche talk contribs‎ m 3,857 bytes −59‎ Reference to a previous proof undo

curprev 07:0807:08, 7 July 2011‎ 138.246.40.137 talk‎ 3,916 bytes +140‎ a more simple reduction undo

curprev 22:5022:50, 19 April 2010‎ 71.146.74.108 talk‎ 3,776 bytes −69‎ rm non-existing link undo

curprev 16:4716:47, 26 February 2010‎ RobinK talk contribs‎ 3,845 bytes +117‎ Merge with 3SAT undo

curprev 10:1210:12, 1 December 2009‎ Jerome.Abela talk contribs‎ 3,728 bytes +41‎ →‎Variations: wikified "graph" and "planar" undo

curprev 19:0819:08, 31 October 2009‎ Rastor talk contribs‎ m 3,687 bytes −27‎ No edit summary undo

curprev 17:2717:27, 24 August 2009‎ Giftlite talk contribs‎ 3,714 bytes +4‎ rlink undo

curprev 07:3107:31, 29 June 2009‎ Chalst talk contribs‎ 3,710 bytes +8‎ Boolean, not general, satisfiability undo

curprev 23:2723:27, 4 May 2009‎ Hermel talk contribs‎ m 3,702 bytes 0‎ typo undo

curprev 17:0717:07, 30 April 2008‎ 129.186.67.19 talk‎ 3,702 bytes +9‎ No edit summary undo

curprev 18:3518:35, 6 April 2008‎ 128.119.240.144 talk‎ 3,693 bytes +1‎ typo undo

curprev 19:5119:51, 8 October 2007‎ 82.234.218.44 talk‎ 3,692 bytes −1‎ No edit summary undo

curprev 23:2523:25, 8 August 2007‎ LordAnubisBOT talk contribs‎ m 3,693 bytes +23‎ robot Adding: ar:أو آي تي undo

curprev 12:1112:11, 31 July 2007‎ Tizio talk contribs‎ m 3,670 bytes +31‎ added doi to one citation undo
curprev 11:0811:08, 31 July 2007‎ Tizio talk contribs‎ m 3,639 bytes +17‎ link Schaefer's dichotomy theorem undo

curprev 16:3016:30, 29 March 2007‎ Edemaine talk contribs‎ 3,622 bytes +188‎ uniform capitalization, italics undo
curprev 16:2716:27, 29 March 2007‎ Edemaine talk contribs‎ 3,434 bytes +1,393‎ major revisions, add real references undo

curprev 23:1623:16, 28 November 2006‎ Creidieki talk contribs‎ m 2,041 bytes +37‎ Category:Satisfiability problems undo
curprev 17:5317:53, 28 November 2006‎ 128.119.240.144 talk‎ 2,004 bytes +1,300‎ added NP-completeness proof taken from Schaefer, removed "expert" tag ~~~~DaveMB undo
curprev 04:1404:14, 28 November 2006‎ 70.91.137.57 talk‎ 704 bytes +43‎ added Garey and Johnson ref undo
curprev 04:1204:12, 28 November 2006‎ 71.192.13.138 talk‎ 661 bytes +32‎ clarified wording undo

21 October 2014

2 June 2013

15 March 2013

10 January 2013

28 December 2012

24 December 2012

10 July 2012

2 July 2012

26 June 2012

27 April 2012

5 January 2012

7 December 2011

6 December 2011

5 August 2011

7 July 2011

19 April 2010

26 February 2010

1 December 2009

31 October 2009

24 August 2009

29 June 2009

4 May 2009

30 April 2008

6 April 2008

8 October 2007

8 August 2007

31 July 2007

29 March 2007

28 November 2006

3 January 2006