Unit propagation: 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 17:0017:00, 7 February 2024‎ WordSurd talk contribs‎ m 6,766 bytes +4‎ conjuctive normal form wikipedia link undo

curprev 21:5021:50, 5 December 2023‎ Siddharthist talk contribs‎ 6,762 bytes +45‎ →‎Using a partial model: Unreferenced section undo Tag: 2017 wikitext editor
curprev 21:4921:49, 5 December 2023‎ Siddharthist talk contribs‎ 6,717 bytes +45‎ →‎Complexity: Unreferenced section undo Tag: 2017 wikitext editor

curprev 14:3314:33, 30 June 2022‎ OlliverWithDoubleL talk contribs‎ m 6,672 bytes +58‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 14:4114:41, 10 March 2022‎ 216.195.180.111 talk‎ 6,614 bytes +28‎ →‎Definition undo

curprev 12:0712:07, 6 July 2021‎ OAbot talk contribs‎ m 6,586 bytes +21‎ Open access bot: doi added to citation with #oabot. undo

curprev 09:1609:16, 5 March 2019‎ Nullzero talk contribs‎ m 6,565 bytes +12‎ +BCP undo

curprev 00:4200:42, 16 July 2017‎ Deacon Vorbis talk contribs‎ m 6,553 bytes −5‎ →‎Complexity: LaTeX spacing clean up, replaced: \,</math> → </math> (2) using AWB undo

curprev 07:2607:26, 7 April 2017‎ 2a02:120b:2c00:c900:3df0:aad0:140:8e83 talk‎ 6,558 bytes +1‎ →‎Unit propagation and resolution undo
curprev 07:1707:17, 7 April 2017‎ 2a02:120b:2c00:c900:3df0:aad0:140:8e83 talk‎ 6,557 bytes +1‎ →‎Using a partial model undo
curprev 07:1707:17, 7 April 2017‎ 2a02:120b:2c00:c900:3df0:aad0:140:8e83 talk‎ 6,556 bytes +1‎ →‎Unit propagation and resolution undo

curprev 22:0622:06, 26 March 2017‎ David Eppstein talk contribs‎ 6,555 bytes +201‎ templatize ref undo

curprev 08:4808:48, 1 November 2016‎ Renamed user d81c140782 talk contribs‎ m 6,354 bytes +5‎ No edit summary undo

curprev 03:0603:06, 18 March 2016‎ BG19bot talk contribs‎ m 6,349 bytes −2‎ Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP undo

curprev 18:0318:03, 7 January 2016‎ 195.134.66.118 talk‎ 6,351 bytes −1‎ →‎Unit propagation and resolution undo

curprev 17:2317:23, 28 August 2015‎ Klbrain talk contribs‎ m 6,352 bytes +45‎ →‎Unit propagation and resolution: Disambig. undo

curprev 08:0508:05, 30 July 2015‎ 193.190.253.145 talk‎ 6,307 bytes +105‎ some more intuition undo
curprev 08:0308:03, 30 July 2015‎ 193.190.253.145 talk‎ 6,202 bytes +83‎ No edit summary undo

curprev 15:0115:01, 27 March 2014‎ 89.100.142.27 talk‎ 6,119 bytes +1‎ →‎Definition undo

curprev 21:3221:32, 23 May 2013‎ 103.21.126.79 talk‎ 6,118 bytes +40‎ No edit summary undo

curprev 17:5017:50, 21 May 2013‎ 182.19.16.73 talk‎ 6,078 bytes +38‎ →‎Definition undo

curprev 16:3816:38, 14 March 2013‎ Addbot talk contribs‎ m 6,040 bytes −51‎ Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q1307834 undo

curprev 18:3218:32, 27 October 2012‎ Xqbot talk contribs‎ m 6,091 bytes +2‎ r2.7.3) (Robot: Modifying de:Unit propagation to de:Einheitsresolution undo

curprev 09:3209:32, 25 October 2012‎ YFdyh-bot talk contribs‎ m 6,089 bytes +24‎ r2.7.3) (Robot: Adding de:Unit propagation undo

curprev 22:2122:21, 23 October 2012‎ Hagoth talk contribs‎ m 6,065 bytes +1‎ →‎Using a partial model undo

curprev 02:5802:58, 30 May 2012‎ ChrisGualtieri talk contribs‎ m 6,064 bytes −12‎ TypoScan Project / General Fixes, typos fixed: , → , using AWB undo

curprev 17:0317:03, 16 March 2011‎ R'n'B talk contribs‎ m 6,076 bytes +10‎ Fix links to disambiguation page Procedure undo

curprev 23:3823:38, 27 May 2009‎ DrilBot talk contribs‎ m 6,066 bytes +32‎ Check Wikipedia cleanup (Misplaced interwikis and categories) + gen. fixes undo

curprev 06:0206:02, 15 April 2009‎ Tea2min talk contribs‎ m 6,034 bytes +28‎ →‎Definition: Disambiguate literal to literal (mathematical logic) undo

curprev 18:0318:03, 12 October 2008‎ Michael Hardy talk contribs‎ m 6,006 bytes +2‎ →‎Definition: format undo
curprev 18:0318:03, 12 October 2008‎ Michael Hardy talk contribs‎ m 6,004 bytes +6‎ →‎References: punctuation undo
curprev 18:0218:02, 12 October 2008‎ Michael Hardy talk contribs‎ 5,998 bytes −12‎ →‎Complexity: math notation formatting improvements undo

curprev 00:2000:20, 11 October 2008‎ Simeon talk contribs‎ m 6,010 bytes +1‎ Removed category "Logic in computer science"; Quick-adding category "Automated theorem proving" (using HotCat) undo

curprev 16:3316:33, 12 June 2008‎ Simeon talk contribs‎ 6,009 bytes +53‎ No edit summary undo

curprev 13:4013:40, 22 February 2008‎ Tizio talk contribs‎ m 5,956 bytes +2‎ →‎Definition: enbold target of redirect undo

curprev 05:0505:05, 17 October 2007‎ Stux talk contribs‎ 5,954 bytes −1‎ →‎Unit propagation and resolution: unit propagation exists in other worlds eh? undo

curprev 16:0016:00, 31 January 2007‎ David Eppstein talk contribs‎ m 5,955 bytes +17‎ →‎Complexity: disambiguate link undo

curprev 13:2413:24, 23 January 2007‎ Tizio talk contribs‎ 5,938 bytes −8‎ if a is a unit clause, avb can be removed undo

curprev 15:1515:15, 19 December 2006‎ Simeon talk contribs‎ 5,946 bytes +25‎ +nl undo

curprev 09:4309:43, 13 November 2006‎ Wjmallard talk contribs‎ m 5,921 bytes +17‎ disambiguated "it" undo

curprev 13:1113:11, 26 August 2006‎ STHayden talk contribs‎ 5,904 bytes +18‎ →‎Unit propagation and resolution: wikilink resolution->Resolution (logic) undo

curprev 03:5603:56, 19 April 2006‎ 207.216.70.57 talk‎ 5,886 bytes +4‎ →‎Complexity undo

curprev 10:4210:42, 10 April 2006‎ Tizio talk contribs‎ 5,882 bytes +980‎ using a partial model undo

curprev 18:0918:09, 7 April 2006‎ Stephan Schulz talk contribs‎ 4,902 bytes −40‎ Sorry, reverted. This is discussed in talk. In short, you can only remove a in an implementation if it is kept elsewhere (in a partial assignment), otherwise you lose equivalence. undo
curprev 17:1717:17, 7 April 2006‎ 81.158.82.177 talk‎ 4,942 bytes +40‎ →‎Explanation: The writer does not remove 'a' from the clause-set, which is incorrect. Unir propagation would remove 'a' from the clause-set. undo

curprev 16:5416:54, 5 April 2006‎ Tizio talk contribs‎ m 4,902 bytes +14‎ disamb clause undo

curprev 04:0204:02, 11 January 2006‎ Light current talk contribs‎ 4,888 bytes +21‎ hdg undo

curprev 18:2618:26, 6 November 2005‎ JLaTondre talk contribs‎ m 4,867 bytes 0‎ spelling: 'applyed' -> 'applied' undo

curprev 19:0819:08, 24 October 2005‎ Stephan Schulz talk contribs‎ 4,867 bytes +207‎ Fixed language, mentioned subsumption. undo

curprev 10:3610:36, 21 October 2005‎ Tizio talk contribs‎ m 4,660 bytes +2‎ update style →‎References undo

7 February 2024

5 December 2023

30 June 2022

10 March 2022

6 July 2021

5 March 2019

16 July 2017

7 April 2017

26 March 2017

1 November 2016

18 March 2016

7 January 2016

28 August 2015

30 July 2015

27 March 2014

23 May 2013

21 May 2013

14 March 2013

27 October 2012

25 October 2012

23 October 2012

30 May 2012

16 March 2011

27 May 2009

15 April 2009

12 October 2008

11 October 2008

12 June 2008

22 February 2008

17 October 2007

31 January 2007

23 January 2007

19 December 2006

13 November 2006

26 August 2006

19 April 2006

10 April 2006

7 April 2006

5 April 2006

11 January 2006

6 November 2005

24 October 2005

21 October 2005