Binary decision diagram: Revision history

16 July 2024

• curprev 16:3516:35, 16 July 2024‎ Jochen Burghardt talk contribs‎ 23,675 bytes −34‎ Undid revision 1234808177 by 666-Bandera Mouse (talk) undo Tag: Undo
• curprev 07:2007:20, 16 July 2024‎ 666-Bandera Mouse talk contribs‎ 23,709 bytes +34‎ No edit summary undo Tag: Reverted

15 April 2024

• curprev 19:1719:17, 15 April 2024‎ Thiagovscoelho talk contribs‎ 23,675 bytes +22‎ No edit summary undo

19 March 2024

• curprev 09:0909:09, 19 March 2024‎ Soelvsten talk contribs‎ 23,653 bytes +7‎ →‎Complemented edges: Improve figure for Complemented Edges. undo Tag: Visual edit: Switched

3 February 2024

• curprev 21:2121:21, 3 February 2024‎ Felix QW talk contribs‎ 23,646 bytes −26‎ Shorten short description undo Tag: Visual edit

11 January 2024

• curprev 08:3008:30, 11 January 2024‎ Sir Ibee talk contribs‎ 23,672 bytes +27‎ Open access status updates in citations with OAbot #oabot undo Tag: OAbot [2.1]

23 December 2023

• curprev 00:4100:41, 23 December 2023‎ 31.222.81.237 talk‎ 23,645 bytes +58‎ Use proper subindices for boolean variables. undo

13 December 2023

• curprev 02:5802:58, 13 December 2023‎ A3nm talk contribs‎ 23,587 bytes +24‎ →‎See also: link to related concept undo Tag: 2017 wikitext editor
• curprev 01:5201:52, 13 December 2023‎ A3nm talk contribs‎ 23,563 bytes −3‎ Category:Knowledge compilation undo Tag: 2017 wikitext editor
• curprev 01:5201:52, 13 December 2023‎ A3nm talk contribs‎ 23,566 bytes +38‎ Category:Knowledge representation undo Tag: 2017 wikitext editor
• curprev 00:3700:37, 13 December 2023‎ A3nm talk contribs‎ 23,528 bytes +61‎ →‎See also: +SDD undo Tag: 2017 wikitext editor

28 November 2023

• curprev 09:1309:13, 28 November 2023‎ Jochen Burghardt talk contribs‎ 23,467 bytes −5‎ →‎Complemented edges: avoid duplicate "diagram" undo

27 November 2023

• curprev 22:4022:40, 27 November 2023‎ Comp.arch talk contribs‎ m 23,472 bytes −81‎ MOS:ALT. I think alt= shouldn't be repeated. undo Tag: 2017 wikitext editor

22 November 2023

• curprev 09:5209:52, 22 November 2023‎ Jochen Burghardt talk contribs‎ 23,553 bytes +68‎ →‎See also: establish relevance undo

30 October 2023

• curprev 20:3120:31, 30 October 2023‎ Citation bot talk contribs‎ 23,485 bytes +20‎ Alter: title, template type. Add: s2cid, chapter-url, chapter. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Model checking | #UCB_Category 22/24 undo

12 October 2023

• curprev 20:0620:06, 12 October 2023‎ InternetArchiveBot talk contribs‎ 23,465 bytes +136‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo

29 September 2023

• curprev 03:5003:50, 29 September 2023‎ A3nm talk contribs‎ m 23,329 bytes +42‎ →‎Variable ordering: acronyms and links undo Tag: 2017 wikitext editor

23 July 2023

• curprev 19:0119:01, 23 July 2023‎ Citation bot talk contribs‎ 23,287 bytes +205‎ Alter: chapter-url. URLs might have been anonymized. Add: page, volume, series, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | #UCB_CommandLine 73/9214 undo

1 March 2023

• curprev 22:4122:41, 1 March 2023‎ Siddharthist talk contribs‎ 23,082 bytes +554‎ →‎Applications: Datalog interpreters undo Tag: 2017 wikitext editor

29 January 2023

• curprev 16:3616:36, 29 January 2023‎ OAbot talk contribs‎ m 22,528 bytes +34‎ Open access bot: doi added to citation with #oabot. undo

25 January 2023

• curprev 12:4012:40, 25 January 2023‎ Frap talk contribs‎ 22,494 bytes −40‎ Remove category undo

11 January 2023

• curprev 11:1211:12, 11 January 2023‎ Aster.asteraceae talk contribs‎ m 22,534 bytes +33‎ →‎See also: Add link to ADDs undo Tag: Visual edit

29 November 2022

• curprev 17:3817:38, 29 November 2022‎ Twistios talk contribs‎ 22,501 bytes +69‎ Added a hatnote for a similar machine model with the same name undo Tag: Visual edit: Switched

9 October 2022

• curprev 08:1508:15, 9 October 2022‎ RDBrown talk contribs‎ 22,432 bytes +1,438‎ →cite book, journal | Alter: journal, url, issue, isbn. URLs might have been anonymized. Add: s2cid. Upgrade ISBN10 to 13. | Use this tool. Report bugs. | #UCB_Gadget undo

27 September 2022

• curprev 12:1412:14, 27 September 2022‎ Aster.asteraceae talk contribs‎ m 20,994 bytes +39‎ →‎See also: Add ZBDD wikipedia reference undo Tag: Visual edit

3 August 2022

• curprev 15:2115:21, 3 August 2022‎ 2a02:1812:110c:dc00:e493:f5b5:50b7:a710 talk‎ 20,955 bytes +32‎ No edit summary undo

2 August 2022

• curprev 00:4800:48, 2 August 2022‎ 2a02:1812:110c:dc00:e493:f5b5:50b7:a710 talk‎ 20,923 bytes +41‎ No edit summary undo

1 July 2022

• curprev 11:4011:40, 1 July 2022‎ 62.151.150.213 talk‎ 20,882 bytes +15‎ →‎Example undo

2 June 2022

• curprev 15:1115:11, 2 June 2022‎ GreenC bot talk contribs‎ 20,867 bytes −43‎ Move 2 urls. Wayback Medic 2.5 undo Tag: Manual revert

1 June 2022

• curprev 15:3515:35, 1 June 2022‎ GreenC bot talk contribs‎ 20,910 bytes +43‎ Rescued 1 archive link. Wayback Medic 2.5 undo Tag: Reverted

1 May 2022

• curprev 00:1000:10, 1 May 2022‎ 125.238.195.55 talk‎ 20,867 bytes +167‎ →‎Logical operations on BDDs undo

25 March 2022

• curprev 13:4313:43, 25 March 2022‎ Jarble talk contribs‎ 20,700 bytes +253‎ linking undo

11 March 2022

• curprev 07:5307:53, 11 March 2022‎ David Eppstein talk contribs‎ m 20,447 bytes −29‎ Reverted edits by WikiLinuz (talk) to last version by SdkbBot undo Tag: Rollback
• curprev 02:4502:45, 11 March 2022‎ WikiLinuz talk contribs‎ 20,476 bytes +29‎ added Category:Data structures using HotCat undo Tag: Reverted

12 February 2022

• curprev 20:1020:10, 12 February 2022‎ SdkbBot talk contribs‎ m 20,447 bytes −1‎ →‎References: Fixed consecutive punctuation error and general fixes (task 3) undo Tag: AWB

4 October 2021

• curprev 22:0422:04, 4 October 2021‎ V35b talk contribs‎ m 20,448 bytes −13‎ "at the best and exponential at the worst case" -> "at best and exponential at worst" Alternate: "in the best case and exponential in the worst case" undo
• curprev 21:5921:59, 4 October 2021‎ V35b talk contribs‎ m 20,461 bytes +3‎ "both by the function being represented and the chosen ordering of the variables" -> "by both the function being represented and the chosen ordering of the variables"] "Both" should refer to similar objects. In the original text it referred to a prepositional phrase and to the second element of the compound object of the phrase. The revision makes "both" refer to the elements of the compound object. Alternate: "both by the function being represented and by the chosen ordering of the variables" undo
• curprev 17:5617:56, 4 October 2021‎ Alexander Davronov talk contribs‎ 20,458 bytes −37‎ No edit summary undo Tag: Visual edit

30 May 2021

• curprev 11:3511:35, 30 May 2021‎ BabbaQ talk contribs‎ 20,495 bytes −2‎ No edit summary undo

10 April 2021

• curprev 05:4405:44, 10 April 2021‎ Dokidaki-ylc talk contribs‎ m 20,497 bytes −3‎ Minor fix of text format undo Tag: Visual edit

27 March 2021

• curprev 02:5302:53, 27 March 2021‎ Helptry talk contribs‎ 20,500 bytes +3,731‎ →‎add section about complemented edges, use mathematics operators for Boolean expressions (\vee, \wedge, \neg), rephrase sentences undo

13 March 2021

• curprev 01:5501:55, 13 March 2021‎ JayBeeEll talk contribs‎ 16,769 bytes −538‎ Undid revision 886493157 by OrdinaryArtery (talk) uncited; spam / promotional account (see Wikipedia:Sockpuppet_investigations/Badtoothfairy) undo Tag: Undo

4 March 2021

• curprev 10:2110:21, 4 March 2021‎ PhS talk contribs‎ 17,307 bytes +85‎ add Short description undo

3 March 2021

• curprev 00:1300:13, 3 March 2021‎ Tom.Reding talk contribs‎ 17,222 bytes +22‎ +{{Authority control}} (1 ID from Wikidata), WP:GenFixes on undo Tag: AWB

31 January 2021

• curprev 02:0502:05, 31 January 2021‎ WikiCleanerBot talk contribs‎ m 17,200 bytes 0‎ v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

30 January 2021

• curprev 16:4416:44, 30 January 2021‎ Thealik talk contribs‎ 17,200 bytes +351‎ →‎History undo

28 August 2020

• curprev 03:0803:08, 28 August 2020‎ 107.159.38.64 talk‎ 16,849 bytes 0‎ →‎Logical operations on BDDs: Fixed typo undo Tags: Mobile edit Mobile web edit

2 July 2020

• curprev 13:0113:01, 2 July 2020‎ InternetArchiveBot talk contribs‎ 16,849 bytes +141‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.1 undo

12 February 2020

• curprev 10:2210:22, 12 February 2020‎ 132.229.130.83 talk‎ 16,708 bytes +2‎ Rectified incorrect assertion that "L/poly captures the complexity of problems with polynomially sized BDDs". In fact, this class strictly contains the set of problems with polynomially sized BDDs. For example, the Hidden Weighted Bit function is in L/poly, but has not polynomially sized BDD undo

12 September 2019

• curprev 06:2506:25, 12 September 2019‎ 130.233.97.85 talk‎ 16,706 bytes +271‎ →‎Logical operations on BDDs undo