Davis–Putnam algorithm: 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 19:4919:49, 24 December 2013 197.206.150.100 talk 3,741 bytes +19 →References undo

curprev 21:2121:21, 18 December 2013 Omg panda bear talk contribs m 3,722 bytes −1 reworded some sentences undo Tag: gettingstarted edit

curprev 12:5312:53, 20 April 2013 Yobot talk contribs m 3,723 bytes +42 WP:CHECKWIKI error fixes - Replaced endash with hyphen in sortkey per WP:MCSTJR using AWB (9100) undo

curprev 10:3210:32, 26 February 2013 Addbot talk contribs m 3,681 bytes −252 Bot: Migrating 7 interwiki links, now provided by Wikidata on d:q1177898 (Report Errors) undo

curprev 08:2208:22, 4 January 2013 MostlyListening talk contribs m 3,933 bytes +4 substituting a better link for a concpet undo

curprev 19:1019:10, 6 May 2012 Helpful Pixie Bot talk contribs m 3,929 bytes +4 ISBNs (Build KC) undo

curprev 13:2713:27, 30 October 2011 Michael Hardy talk contribs m 3,925 bytes −1 format undo

curprev 16:2316:23, 30 June 2011 Cydebot talk contribs m 3,926 bytes −1 Robot - Moving category Constraint satisfaction to Category:Constraint programming per CFD at Wikipedia:Categories for discussion/Log/2011 June 15. undo

curprev 23:3923:39, 12 June 2011 Citation bot 1 talk contribs m 3,927 bytes +2 [Pu354]Misc citation tidying. undo

curprev 13:3713:37, 9 June 2011 Mo ainm talk contribs 3,925 bytes +6 Disambiguated: recursive → recursion using Dab solver undo

curprev 17:3717:37, 18 April 2011 Tijfo098 talk contribs m 3,919 bytes −6 →References undo
curprev 17:3717:37, 18 April 2011 Tijfo098 talk contribs 3,925 bytes +177 →References: good practical coverage of both DP and DPLL; could be used to clarify this article undo

curprev 18:3218:32, 9 April 2011 Tijfo098 talk contribs 3,748 bytes −31 that confusing, eh? undo

curprev 15:2215:22, 13 August 2010 Algebraist talk contribs m 3,779 bytes +4 Undid revision 378725050 by 18.81.7.108 (talk) see WP:DASH undo
curprev 15:2015:20, 13 August 2010 18.81.7.108 talk 3,775 bytes −4 Got rid of weird use of em-dashes for hyphens undo
curprev 11:1711:17, 13 August 2010 R'n'B talk contribs m 3,779 bytes +50 Fix links to disambiguation page Resolution undo

curprev 06:5006:50, 8 April 2010 Luckas-bot talk contribs m 3,729 bytes +56 robot Adding: ja:デービス・パトナムのアルゴリズム undo

curprev 02:4002:40, 15 January 2010 71.41.210.146 talk 3,673 bytes −36 Took formulas out of <math> to work around remdering oncinsitency with \phi; see [https://bugzilla.wikimedia.org/show_bug.cgi?id=1347 Mediawiki bug #1347] undo

curprev 20:0620:06, 11 January 2010 Ary29 talk contribs m 3,709 bytes +1 it undo

curprev 04:5304:53, 18 December 2009 RjwilmsiBot talk contribs m 3,708 bytes +2 →References: fixing page range dashes using Project:AWB undo

curprev 17:2117:21, 17 December 2009 129.67.43.241 talk 3,706 bytes +431 No edit summary undo

curprev 14:1314:13, 9 November 2009 CBM talk contribs 3,275 bytes −26 →References: this is not a metatheorem in any clear way undo

curprev 01:3901:39, 8 November 2009 Gregbard talk contribs 3,301 bytes +25 →References: Category:Metatheorems using AWB undo

curprev 19:2419:24, 11 June 2009 129.104.247.2 talk 3,276 bytes 0 No edit summary undo

curprev 01:2201:22, 17 May 2009 Hans Adler talk contribs 3,276 bytes −28 fix "confusing" template undo

curprev 01:0301:03, 6 May 2009 SmackBot talk contribs m 3,304 bytes +3 Date maintenance tags and general fixes undo

curprev 17:4217:42, 5 May 2009 193.136.143.130 talk 3,301 bytes +19 No edit summary undo

curprev 19:0619:06, 8 April 2009 CRGreathouse talk contribs 3,282 bytes −47 See also links per WP:ALSO; disambig link undo

curprev 17:0717:07, 5 February 2009 SmackBot talk contribs m 3,329 bytes +20 Date maintenance tags and general fixes undo

curprev 17:4717:47, 18 January 2009 81.193.185.176 talk 3,309 bytes +8 wikilinks undo

curprev 04:2704:27, 13 November 2008 Michael Hardy talk contribs m 3,301 bytes −18 No edit summary undo

curprev 12:1412:14, 25 October 2008 C S talk contribs 3,319 bytes +51 No edit summary undo

curprev 01:0401:04, 30 August 2008 Linas talk contribs 3,268 bytes 0 err, undo what I did undo
curprev 00:5000:50, 30 August 2008 Linas talk contribs 3,268 bytes +22 Herbrandization undo

curprev 20:3920:39, 29 June 2008 Alaibot talk contribs m 3,246 bytes +5 Robot: sorting stub (based on existing categorisation) undo

curprev 00:0400:04, 27 June 2008 Simeon talk contribs 3,241 bytes −51 termination is not required to be called an algorithm undo

curprev 20:4520:45, 23 June 2008 DOI bot talk contribs m 3,292 bytes +56 Citation maintenance. You can use this bot yourself! Please report any bugs. undo

curprev 03:4603:46, 27 May 2008 David Eppstein talk contribs m 3,236 bytes +23 link to article on very similar methods undo
curprev 03:1203:12, 27 May 2008 Michael Hardy talk contribs 3,213 bytes −1 OK, I've decided after some hesitation to leave the "stub" notice intact, but I'm putting it BELOW everything else the reader sees, since it causes too much blank white space otherwise. undo

curprev 12:3612:36, 26 May 2008 Algebraist talk contribs m 3,214 bytes +8 hyphen to en dash, per WP:DASH undo
curprev 12:3112:31, 26 May 2008 Algebraist talk contribs m 3,206 bytes 0 moved Davis-Putnam algorithm to Davis–Putnam algorithm over redirect: en dash not hyphen, per WP:MOSDASH undo

curprev 01:2901:29, 23 May 2008 Rgrig talk contribs m 3,206 bytes +29 No edit summary undo
curprev 01:2101:21, 23 May 2008 Rgrig talk contribs m 3,177 bytes +14 No edit summary undo
curprev 01:1901:19, 23 May 2008 Rgrig talk contribs m 3,163 bytes +3 No edit summary undo
curprev 01:1601:16, 23 May 2008 Rgrig talk contribs 3,160 bytes +520 Fixed some mistakes and added some details. The description of the satisfiability check is still wrong, but I'm to tired to fix it now. (Still a small stub.) undo

curprev 21:2921:29, 13 April 2008 Stephan Schulz talk contribs 2,640 bytes +14 Avoid confusion for first-order-logicians undo
curprev 21:2421:24, 13 April 2008 Andreas Kaufmann talk contribs 2,626 bytes +13 Category:Constraint satisfaction undo

curprev 15:4215:42, 22 February 2008 Tizio talk contribs m 2,613 bytes +198 link equisatisfiability undo

curprev 15:2215:22, 27 November 2007 Pgr94 talk contribs 2,415 bytes −1 fixed category undo

curprev 14:4914:49, 24 September 2007 Fuenfundachtzig talk contribs m 2,416 bytes 0 →References: corrected issue number undo

Davis–Putnam algorithm: Revision history

24 December 2013

18 December 2013

20 April 2013

26 February 2013

4 January 2013

6 May 2012

30 October 2011

30 June 2011

12 June 2011

9 June 2011

18 April 2011

9 April 2011

13 August 2010

8 April 2010

15 January 2010

11 January 2010

18 December 2009

17 December 2009

9 November 2009

8 November 2009

11 June 2009

17 May 2009

6 May 2009

5 May 2009

8 April 2009

5 February 2009

18 January 2009

13 November 2008

25 October 2008

30 August 2008

29 June 2008

27 June 2008

23 June 2008

27 May 2008

26 May 2008

23 May 2008

13 April 2008

22 February 2008

27 November 2007

24 September 2007