2-satisfiability: Revision history

13 December 2023

• curprev 19:2019:20, 13 December 2023‎ RobinK talk contribs‎ m 65,835 bytes +52‎ added author link undo

10 December 2023

• curprev 19:2619:26, 10 December 2023‎ OAbot talk contribs‎ m 65,783 bytes +120‎ Open access bot: doi updated in citation with #oabot. undo

7 November 2023

• curprev 22:5022:50, 7 November 2023‎ A3nm talk contribs‎ 65,663 bytes +51‎ →‎Resolution and transitive closure: +resolution link undo Tag: 2017 wikitext editor

1 November 2023

• curprev 20:5220:52, 1 November 2023‎ AnomieBOT talk contribs‎ m 65,612 bytes −24‎ Substing templates: {{Format ISBN}}. See User:AnomieBOT/docs/TemplateSubster for info. undo
• curprev 19:5419:54, 1 November 2023‎ Trappist the monk talk contribs‎ m 65,636 bytes +31‎ cite repair; undo Tag: AWB

22 July 2023

• curprev 23:2423:24, 22 July 2023‎ Citation bot talk contribs‎ 65,605 bytes +53‎ Alter: title. Add: s2cid. | Use this bot. Report bugs. | #UCB_CommandLine 35/10111 undo

13 July 2023

• curprev 06:1506:15, 13 July 2023‎ David Eppstein talk contribs‎ 65,552 bytes −71‎ Undid revision 1165134532 by Whecmp (talk) there are lots of implications here; let's only state the famous one undo Tag: Undo
• curprev 06:1006:10, 13 July 2023‎ Whecmp talk contribs‎ 65,623 bytes +71‎ →‎Counting the number of satisfying assignments undo Tag: Reverted

28 April 2023

• curprev 23:1723:17, 28 April 2023‎ ThermoF talk contribs‎ 65,552 bytes −26‎ →‎Discrete tomography: Misleading image due to the impossibility to solve logically the nonogram, see fr:Discussion:Picross (fr) undo

27 April 2023

• curprev 14:4114:41, 27 April 2023‎ 81.155.193.6 talk‎ 65,578 bytes −527‎ WP:ECREE undo Tags: Manual revert references removed
• curprev 14:1814:18, 27 April 2023‎ 23.151.224.202 talk‎ 66,105 bytes +31‎ added page title undo Tag: Reverted
• curprev 14:1414:14, 27 April 2023‎ 23.151.224.202 talk‎ 66,074 bytes +496‎ Added recent update undo Tag: Reverted

17 October 2022

• curprev 11:2911:29, 17 October 2022‎ Kku talk contribs‎ m 65,578 bytes +16‎ link binary variables using Find link undo
• curprev 03:0103:01, 17 October 2022‎ Michael Hardy talk contribs‎ 65,562 bytes 0‎ No edit summary undo

15 August 2022

• curprev 05:3305:33, 15 August 2022‎ Citation bot talk contribs‎ 65,562 bytes +60‎ Add: bibcode, s2cid. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 1623/3850 undo

4 August 2022

• curprev 05:2205:22, 4 August 2022‎ Headbomb talk contribs‎ m 65,502 bytes 0‎ →‎Maximum-2-satisfiability: clean up, replaced: Thirty-n → Thirty-N undo Tag: AWB

22 May 2022

• curprev 14:0814:08, 22 May 2022‎ Luamssuk talk contribs‎ m 65,502 bytes +30‎ author link Rolf Niedermeier undo
• curprev 04:5204:52, 22 May 2022‎ David Eppstein talk contribs‎ 65,472 bytes −351‎ Undid revision 1089121934 by InternetArchiveBot (talk) bizarre reformatting and replacement of url by archive when the same book is still live on the publisher site and accessible via doi undo
• curprev 01:4001:40, 22 May 2022‎ InternetArchiveBot talk contribs‎ 65,823 bytes +294‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.8.7 undo

26 January 2022

• curprev 21:4321:43, 26 January 2022‎ Jochen Burghardt talk contribs‎ 65,529 bytes 0‎ →‎top: to match a CNF, it should be "AND of ORs" undo

25 January 2022

• curprev 06:4606:46, 25 January 2022‎ David Eppstein talk contribs‎ 65,529 bytes −2‎ tighter shortdesc undo

8 December 2021

• curprev 00:1300:13, 8 December 2021‎ Citation bot talk contribs‎ 65,531 bytes +253‎ Add: s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 535/2200 undo

14 November 2021

• curprev 17:3217:32, 14 November 2021‎ David Eppstein talk contribs‎ 65,278 bytes −56‎ Undid revision 1055202058 by Horcrux (talk) This article is written in a standard style in which the lead only summarizes claims filled out in more detail with sources later, and is not footnoted because the footnotes are in the later detail. What makes this one claim special and needing a footnote immediately? undo Tag: Undo
• curprev 13:5613:56, 14 November 2021‎ Horcrux talk contribs‎ m 65,334 bytes +56‎ +ref undo Tag: Reverted

25 September 2021

• curprev 06:0406:04, 25 September 2021‎ Beland talk contribs‎ m 65,278 bytes −11‎ convert special characters (via WP:JWB) undo

7 July 2021

• curprev 17:0617:06, 7 July 2021‎ David Eppstein talk contribs‎ 65,289 bytes −97‎ supply requested citation undo
• curprev 09:0109:01, 7 July 2021‎ AnomieBOT talk contribs‎ m 65,386 bytes +15‎ Dating maintenance tags: {{Cn}} undo
• curprev 08:4008:40, 7 July 2021‎ Jochen Burghardt talk contribs‎ 65,371 bytes +125‎ →‎Weighted-2-satisfiability undo

6 July 2021

• curprev 17:3717:37, 6 July 2021‎ 2a02:8109:1a3f:f5b4:7186:b83a:b0ae:745a talk‎ 65,246 bytes 0‎ →‎Weighted-2-satisfiability: The problem described was *not* the W[1]-complete "Weighted 2-SAT", but the FPT-problem "Min-Ones 2-Sat" undo
• curprev 05:4105:41, 6 July 2021‎ David Eppstein talk contribs‎ 65,246 bytes +4‎ Harold N. Gabow undo

28 April 2021

• curprev 21:3121:31, 28 April 2021‎ David Eppstein talk contribs‎ 65,242 bytes −45‎ Partially undid revision by User:Dokidaki-ylc. The formatting is ok, but additions of content require a reliable source. You notice that this is a Good Article? In part that is because EVERYTHING is properly sourced, and you didn't do that. And 2-coloring is easy to solve directly, so translating to 2SAT is overkill; it isn't really a good example of an application. undo
• curprev 20:1920:19, 28 April 2021‎ Dokidaki-ylc talk contribs‎ m 65,287 bytes +91‎ Mention that 2-SAT can be applied to 2-coloring problem (by constructing a polynomial reduction from 2-coloring problem to 2-SAT); fix text format undo Tag: Visual edit

9 March 2021

• curprev 18:0018:00, 9 March 2021‎ David Eppstein talk contribs‎ 65,196 bytes +8‎ relative image sizes undo
• curprev 17:5917:59, 9 March 2021‎ David Eppstein talk contribs‎ 65,188 bytes +36‎ display=block undo
• curprev 00:5500:55, 9 March 2021‎ David Eppstein talk contribs‎ 65,152 bytes +29‎ Ewa Orłowska undo

8 March 2021

• curprev 14:5114:51, 8 March 2021‎ NoonIcarus talk contribs‎ 65,123 bytes +26‎ Editor2-link undo

13 January 2021

• curprev 19:3619:36, 13 January 2021‎ OAbot talk contribs‎ m 65,097 bytes +16‎ Open access bot: doi added to citation with #oabot. undo

27 November 2020

• curprev 01:4401:44, 27 November 2020‎ Monkbot talk contribs‎ m 65,081 bytes +9‎ Task 18 (cosmetic): eval 59 templates: del empty params (1×); hyphenate params (14×); undo Tag: AWB

2 October 2020

• curprev 05:2905:29, 2 October 2020‎ SD0001 talk contribs‎ m 65,072 bytes +59‎ Adding short description: "Theoretical computer science problem" (Shortdesc helper) undo

21 May 2020

• curprev 14:4514:45, 21 May 2020‎ 24.218.220.16 talk‎ 65,013 bytes −86‎ Removed picture of cited author. undo

20 April 2020

• curprev 20:4220:42, 20 April 2020‎ David Eppstein talk contribs‎ 65,099 bytes −2‎ RP is an abomination. And why do we even have any CS1 style citations here, anyway? undo
• curprev 19:0719:07, 20 April 2020‎ Headbomb talk contribs‎ m 65,101 bytes −8‎ clean up, removed: |ref=harv undo Tag: AWB

19 December 2019

• curprev 03:0203:02, 19 December 2019‎ InternetArchiveBot talk contribs‎ 65,109 bytes +130‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

23 September 2019

• curprev 08:0908:09, 23 September 2019‎ Jochen Burghardt talk contribs‎ 64,979 bytes +90‎ suggest to place grouph photo showing Austrin here, for now, since he hasn't yet an own biography article undo

20 September 2019

• curprev 00:4200:42, 20 September 2019‎ David Eppstein talk contribs‎ 64,889 bytes +32‎ Brigitte Jaumard undo

27 July 2019

• curprev 05:0605:06, 27 July 2019‎ Nemo bis talk contribs‎ 64,857 bytes −66‎ redundant URL undo

3 June 2019

• curprev 14:2814:28, 3 June 2019‎ AManWithNoPlan talk contribs‎ 64,923 bytes −159‎ Alter: contribution, title, journal. Add: bibcode. Removed URL that duplicated unique identifier. | You can use this tool yourself. Report bugs here. undo

12 April 2019

• curprev 16:3116:31, 12 April 2019‎ Keith Edkins talk contribs‎ 65,082 bytes −8‎ →‎Problem representations: removed spurious "to true" undo

5 April 2019

• curprev 20:3620:36, 5 April 2019‎ Neko-chan talk contribs‎ 65,090 bytes +75‎ Added free to read link in citations with OAbot #oabot undo Tag: OAbot [1.0]

14 March 2019

• curprev 06:3406:34, 14 March 2019‎ David Eppstein talk contribs‎ 65,015 bytes +50‎ Undid revision 887677135 by Citation bot (talk) I ALREADY SAID THE CITESEERX LINKS WERE BAD undo Tag: Undo