Jump to content

DPLL(T): 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 22:5322:53, 22 October 2024 Laura240406 talk contribs 4,446 bytes +54 Added short description undo Tags: Mobile edit Mobile app edit Android app edit App description add

curprev 06:4106:41, 22 June 2024 Citation bot talk contribs 4,392 bytes 0 Altered title. Added chapter. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 17:3917:39, 25 January 2024 Citation bot talk contribs 4,392 bytes −55 Altered template type. Add: s2cid, authors 1-1. Removed proxy/dead URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Automated theorem proving | #UCB_Category 17/39 undo

curprev 23:2123:21, 3 December 2023 Adam Williams talk contribs 4,447 bytes −41 It's not unreliable, it's a presentation put together by the author of CVC5. undo
curprev 19:0419:04, 3 December 2023 OAbot talk contribs m 4,488 bytes +17 Open access bot: doi updated in citation with #oabot. undo

curprev 14:2014:20, 1 December 2023 Siddharthist talk contribs 4,471 bytes +41 Unreliable source template undo Tag: 2017 wikitext editor
curprev 03:2103:21, 1 December 2023 Siddharthist talk contribs 4,430 bytes +4 Link to CVC4 undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 14:4514:45, 29 November 2023 Siddharthist talk contribs 4,426 bytes +649 Add citation to CVC4 as DPLL(T) solver undo Tag: 2017 wikitext editor

curprev 00:1300:13, 7 July 2023 David Eppstein talk contribs 3,777 bytes +46 Aarti Gupta (computer scientist) undo

curprev 19:1719:17, 5 February 2021 2a02:214a:8011:6600:c13e:2dd5:65bb:b4b8 talk 3,731 bytes +1 No edit summary undo
curprev 19:1719:17, 5 February 2021 2a02:214a:8011:6600:c13e:2dd5:65bb:b4b8 talk 3,730 bytes 0 No edit summary undo

curprev 14:1514:15, 5 July 2020 Trappist the monk talk contribs m 3,730 bytes −1 →top: remove 'invisible' characters from cs1|2 template parameters; (1× NBSP) undo Tag: AWB

curprev 15:3515:35, 22 June 2020 EditQwerty talk contribs 3,731 bytes −21 Undid revision 963922989 by 2.152.183.198 (talk) Reverting vandalism or test edit undo Tag: Undo
curprev 15:3415:34, 22 June 2020 2.152.183.198 talk 3,752 bytes +21 No edit summary undo

curprev 10:0110:01, 11 April 2020 OAbot talk contribs m 3,731 bytes +64 Open access bot: doi added to citation with #oabot. undo

curprev 12:2912:29, 28 March 2020 Ghettoblaster talk contribs m 3,667 bytes −21 No edit summary undo

curprev 12:2812:28, 6 December 2019 Citation bot talk contribs m 3,688 bytes −258 Add: volume. Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 17:5517:55, 17 October 2019 Rich Farmbrough talk contribs m 3,946 bytes −10 clean up undo

curprev 15:1915:19, 12 April 2019 Adam Williams talk contribs 3,956 bytes −84 Better explanation undo

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