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 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

curprev 19:4919:49, 4 July 2007 83.8.72.46 talk 2,416 bytes +32 pl undo

curprev 09:5209:52, 20 June 2007 Salgueiro~enwiki talk contribs 2,384 bytes +33 +pt undo

curprev 11:5111:51, 18 June 2007 Acipsen talk contribs m 2,351 bytes 0 No edit summary undo

curprev 20:4820:48, 29 May 2007 Freak42 talk contribs m 2,351 bytes +35 Added: See also : DPLL_algorithm undo

curprev 15:5115:51, 16 May 2007 AlleborgoBot talk contribs m 2,316 bytes +32 robot Adding: it:Davis-Putnam (Algoritmo) undo

curprev 23:3623:36, 25 April 2007 Stephan Schulz talk contribs 2,284 bytes +180 →References: cite'ed undo

curprev 17:0117:01, 2 April 2007 Botx talk contribs m 2,104 bytes +33 robot Adding: es:Algoritmo de Davis-Putnam undo

curprev 21:5921:59, 24 February 2007 Liquid-aim-bot talk contribs m 2,071 bytes +34 robot Adding: fr:Algorithme de Davis-Putnam undo

curprev 19:2919:29, 11 December 2006 Tizio talk contribs m 2,037 bytes +39 cat undo

curprev 20:5320:53, 19 October 2006 Stephan Schulz talk contribs 1,998 bytes +377 Templatified DP papers undo
curprev 20:4920:49, 19 October 2006 Stephan Schulz talk contribs m 1,621 bytes 0 moved Davis–Putnam algorithm to Davis-Putnam algorithm: Moved back to typable and expected name. See talk. undo

curprev 02:1202:12, 7 September 2006 Michael Hardy talk contribs m 1,621 bytes −12 No edit summary undo
curprev 00:4300:43, 7 September 2006 Iannigb talk contribs 1,633 bytes +19 Added stub undo

curprev 13:4413:44, 6 September 2006 Jon Awbrey talk contribs m 1,614 bytes 0 moved Davis-Putnam algorithm to Davis–Putnam algorithm: ndash for polynominals undo
curprev 13:4413:44, 6 September 2006 Jon Awbrey talk contribs m 1,614 bytes 0 ditto, del xs quote marks undo
curprev 13:4213:42, 6 September 2006 Jon Awbrey talk contribs m 1,614 bytes +2 ndash for polynominals undo

curprev 17:0417:04, 26 June 2006 Jpbowen talk contribs m 1,612 bytes +38 Added category, links, tidying undo

curprev 16:5516:55, 5 April 2006 Tizio talk contribs m 1,574 bytes +15 disamb clause undo

curprev 01:1401:14, 27 February 2006 Fawcett5 talk contribs 1,559 bytes +2 Bolding term that redirects here undo
curprev 01:1201:12, 27 February 2006 Fawcett5 talk contribs 1,557 bytes −54 Removing now uneeded "see alsos" undo

curprev 12:5812:58, 19 February 2006 Stephan Schulz talk contribs m 1,611 bytes 0 →References: Typo undo
curprev 12:5712:57, 19 February 2006 Stephan Schulz talk contribs 1,611 bytes +11 →References: New category undo

curprev 04:2004:20, 13 January 2006 Gdm talk contribs m 1,600 bytes +55 propositional logic, +de undo

curprev 06:0006:00, 22 October 2005 Mathbot talk contribs 1,545 bytes +1 Robot-assisted spelling. See User:Mathbot/Logged misspellings for changes. undo

curprev 19:4019:40, 27 September 2005 Tizio talk contribs 1,544 bytes +504 references undo

curprev 21:4221:42, 24 September 2005 Stephan Schulz talk contribs 1,040 bytes +21 Note that DPLL and DP are related but distinct. undo
curprev 12:4112:41, 24 September 2005 Silverfish talk contribs m 1,019 bytes +5 Stub-sorting. You can help! undo
curprev 12:1112:11, 24 September 2005 Tizio talk contribs m 1,014 bytes −19 article name after merge undo
curprev 12:0412:04, 24 September 2005 Tizio talk contribs m 1,033 bytes +10 new name for merged DPLL article →See also undo

curprev 22:2522:25, 22 September 2005 Stephan Schulz talk contribs 1,023 bytes +50 Some fixes. undo
curprev 21:5221:52, 22 September 2005 McCart42 talk contribs 973 bytes +11 →See also: link to DPLL undo
curprev 19:4319:43, 22 September 2005 Tizio talk contribs 962 bytes +23 link to conjunctive normal form undo
curprev 18:2318:23, 22 September 2005 Tizio talk contribs 939 bytes +939 how the algorithm works

Davis–Putnam algorithm: Revision history

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

4 July 2007

20 June 2007

18 June 2007

29 May 2007

16 May 2007

25 April 2007

2 April 2007

24 February 2007

11 December 2006

19 October 2006

7 September 2006

6 September 2006

26 June 2006

5 April 2006

27 February 2006

19 February 2006

13 January 2006

22 October 2005

27 September 2005

24 September 2005

22 September 2005