Jump to content

Talk:DPLL algorithm: Revision history

View logs for this page (view filter log)

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 13:4613:46, 27 January 2024 Qwerfjkl (bot) talk contribs 12,731 bytes +31 Implementing WP:PIQA (Task 26) undo Tag: Talk banner shell conversion

curprev 13:3513:35, 6 October 2022 SineBot talk contribs m 12,700 bytes +356 Signing comment by 2601:14D:4400:570:EC40:8323:DAA4:F6F9 - "Added question and link to the 1958 NSA report." undo
curprev 13:3413:34, 6 October 2022 2601:14d:4400:570:ec40:8323:daa4:f6f9 talk 12,344 bytes +212 Added question and link to the 1958 NSA report. undo

curprev 08:4208:42, 25 February 2022 Christian75 talk contribs 12,132 bytes +62 Undid revision 1021270041 by 37.224.184.241 (talk) undo Tag: Undo

curprev 20:1020:10, 3 May 2021 37.224.184.241 talk 12,070 bytes −62 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

curprev 18:1618:16, 16 April 2018 MaxEnt talk contribs 9,095 bytes +523 →Expository significance: new section undo
curprev 18:1118:11, 16 April 2018 MaxEnt talk contribs 8,572 bytes +619 →Purity explained: new section undo

curprev 18:5318:53, 27 December 2013 Dana boomer talk contribs 6,594 bytes +12 Project assessment undo

curprev 23:0523:05, 19 October 2013 79.176.130.107 talk 6,582 bytes +117 →Pseudo code is ambiguous undo
curprev 23:0123:01, 19 October 2013 79.176.130.107 talk 6,465 bytes +728 →Pseudo code is ambiguous undo

curprev 11:4511:45, 22 January 2012 SineBot talk contribs m 5,737 bytes +294 Signing comment by RainCT - "→2 watched literals: new section" undo
curprev 11:4411:44, 22 January 2012 RainCT talk contribs 5,443 bytes +150 →2 watched literals: new section undo

curprev 11:4011:40, 22 September 2011 Ruud Koot talk contribs 5,293 bytes +50 {{WikiProject Computer science|importance=high}} undo

curprev 21:2321:23, 24 June 2011 Stephan Schulz talk contribs m 5,243 bytes 0 →Purity elimination eliminated: ) undo
curprev 21:1721:17, 24 June 2011 Stephan Schulz talk contribs 5,243 bytes +628 →Purity elimination eliminated: new section undo

curprev 05:0105:01, 14 January 2008 Hairy Dude talk contribs m 4,615 bytes +200 →Subsumption: correct use of {{unsigned2}} and subst it undo

curprev 01:5801:58, 15 November 2007 192.94.38.34 talk 4,415 bytes +2 No edit summary undo
curprev 01:5101:51, 15 November 2007 SineBot talk contribs m 4,413 bytes +253 Signing comment by 192.94.38.34 - "" undo
curprev 01:4901:49, 15 November 2007 192.94.38.34 talk 4,160 bytes +549 No edit summary undo

curprev 10:2410:24, 7 November 2007 Stephan Schulz talk contribs 3,611 bytes +175 →CNF is ambiguous: Reply undo
curprev 09:3009:30, 7 November 2007 SineBot talk contribs m 3,436 bytes +252 Signing comment by 146.133.1.43 - "" undo
curprev 09:2809:28, 7 November 2007 146.133.1.43 talk 3,184 bytes +243 No edit summary undo

curprev 15:3215:32, 18 August 2007 SatyrBot talk contribs m 2,941 bytes −12 SatyrBot removing WP:Logic banner per project decision. undo

Retrieved from "https://en.wikipedia.org/wiki/Talk:DPLL_algorithm"