Jump to content

DPLL: 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 08:1708:17, 28 December 2019‎ Bot1058 talk contribs‎ m 199 bytes −293‎ Task 6: remove disambiguation page from Category:Monitored short pages undo

curprev 01:5601:56, 24 December 2015‎ Dcirovic talk contribs‎ m 492 bytes +293‎ added Category:Monitored short pages undo

curprev 01:5101:51, 7 October 2015‎ I dream of horses talk contribs‎ m 199 bytes +6‎ clean up using AWB undo

curprev 16:0016:00, 14 March 2013‎ Addbot talk contribs‎ m 193 bytes −13‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q3011426 undo

curprev 04:3404:34, 25 June 2011‎ Ptbotgourou talk contribs‎ m 206 bytes +13‎ r2.6.5) (robot Adding: fr:DPLL undo

curprev 22:1222:12, 20 April 2008‎ Qatter talk contribs‎ m 193 bytes 0‎ No edit summary undo

curprev 15:4015:40, 10 September 2007‎ Mwtoews talk contribs‎ 193 bytes +47‎ update descrip undo
curprev 15:3915:39, 10 September 2007‎ Mwtoews talk contribs‎ 146 bytes −29‎ format per MOS:DAB undo

curprev 17:2417:24, 3 March 2007‎ STBot talk contribs‎ m 175 bytes +5‎ Correcting template, Replaced: {{4CC → {{disambig using AWB undo

curprev 14:1014:10, 18 August 2006‎ Bluebot talk contribs‎ 170 bytes 0‎ updating tag undo

curprev 08:2008:20, 20 January 2006‎ Botryoidal talk contribs‎ m 170 bytes 0‎ Robot: Automated text replacement (-{{4LA}} +{{4LC}}) undo

curprev 07:3907:39, 14 November 2005‎ Hathawayc talk contribs‎ m 170 bytes −5‎ 4la undo

curprev 12:1912:19, 24 September 2005‎ Tizio talk contribs‎ m 175 bytes +26‎ link to phase locked loop undo
curprev 11:5111:51, 24 September 2005‎ Tizio talk contribs‎ m 149 bytes 0‎ typo undo
curprev 11:4411:44, 24 September 2005‎ Tizio talk contribs‎ 149 bytes −1,424‎ previous article merged with Davis-Logemann-Loveland algorithm into DPLL algorithm and made this a disambiguation page undo

curprev 21:1821:18, 23 September 2005‎ Silverfish talk contribs‎ m 1,573 bytes +5‎ Stub-sorting. You can help! undo

curprev 21:5421:54, 22 September 2005‎ McCart42 talk contribs‎ 1,568 bytes +15‎ add math-stub undo
curprev 21:5321:53, 22 September 2005‎ McCart42 talk contribs‎ 1,553 bytes +81‎ link to other similar algorithms, possibly the same algorithm as DLL? undo
curprev 21:4921:49, 22 September 2005‎ McCart42 talk contribs‎ 1,472 bytes +271‎ copyedit & add explanation on current work undo

curprev 10:0210:02, 19 September 2005‎ Stephan Schulz talk contribs‎ 1,201 bytes +26‎ Mentioned CNF undo
curprev 04:0804:08, 19 September 2005‎ Oleg Alexandrov talk contribs‎ 1,175 bytes −1‎ rm extra whitespace undo
curprev 03:4503:45, 19 September 2005‎ Mathbot talk contribs‎ 1,176 bytes +1‎ Robot-assisted spelling. See User:Mathbot/Logged misspellings for changes. undo

curprev 21:3921:39, 13 September 2005‎ Stephan Schulz talk contribs‎ m 1,175 bytes 0‎ Typo. undo
curprev 21:3621:36, 13 September 2005‎ Stephan Schulz talk contribs‎ m 1,175 bytes +1‎ Added missing , undo
curprev 21:2221:22, 13 September 2005‎ Stephan Schulz talk contribs‎ 1,174 bytes +1,174‎ New article on DPLL

Retrieved from "https://en.wikipedia.org/wiki/DPLL"