Boolean satisfiability algorithm heuristics: 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 22:3022:30, 20 March 2025 69.151.176.180 talk 11,334 bytes +1 →Variable State Independent Decaying Sum: I changed an incorrect subject-verb agreement undo

curprev 02:2102:21, 9 March 2025 JCW-CleanerBot talk contribs m 11,333 bytes −7 task, replaced: journal=Journal on Satisfiability Boolean Modeling and Computation (JSAT) → journal=Journal on Satisfiability Boolean Modeling and Computation undo Tag: AWB

curprev 03:5903:59, 19 November 2024 WikiCleanerBot talk contribs m 11,340 bytes −1 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 05:2605:26, 14 November 2024 Beland talk contribs m 11,341 bytes +22 convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB) undo

curprev 05:2105:21, 7 November 2024 Genusfour talk contribs m 11,319 bytes +101 clean up language and references undo

curprev 06:2606:26, 17 April 2024 David Eppstein talk contribs 11,218 bytes −2,688 unsourced, misplaced, not a heuristic, and confusingly written undo

curprev 17:1817:18, 21 December 2023 RJFJR talk contribs 13,906 bytes +8 →Graph reduction Griffith, Richard. "Strongly Connected Components and the 2-SAT Problem in Dart". http://www.greatandlittle.com/studios/index.php?post/2013/03/26/Strongly-Connected-Components-and-the-2-SAT-Problem-in-Dart: move ref out of heading undo
curprev 17:1717:17, 21 December 2023 RJFJR talk contribs 13,898 bytes +8 →Data structures for storing clauses: move ref out of heading undo
curprev 17:1717:17, 21 December 2023 RJFJR talk contribs 13,890 bytes +8 →Stochastic solvers Sung, Phil. "Maximum Satisfiability" (2006) http://math.mit.edu/~goemans/18434S06/max-sat-phil.pdf: move ref out of heading undo
curprev 17:1717:17, 21 December 2023 RJFJR talk contribs 13,882 bytes +8 →Branching heuristics in conflict-driven algorithms: move ref out of heading undo

curprev 20:1220:12, 2 November 2023 JoeNMLC talk contribs 13,874 bytes −30 →top: ce, rm orphan tag (Query 38614); ► Wikiproject Orphanage: You can help! ● undo

curprev 19:0319:03, 10 October 2022 24.62.225.169 talk 13,904 bytes −81 More who? templates removed. undo
curprev 19:0219:02, 10 October 2022 24.62.225.169 talk 13,985 bytes −54 Remove "who?" template. Somebody is being a smart-ass. "We" here is just typical math diction. undo

curprev 06:1906:19, 23 June 2022 RJFJR talk contribs 14,039 bytes +247 →top: wording undo

curprev 23:5823:58, 28 May 2022 Suffusion of Yellow talk contribs m 13,792 bytes +527 rv mass unexplained blanking undo Tag: Rollback
curprev 23:5623:56, 28 May 2022 102.250.1.14 talk 13,265 bytes −527 No edit summary undo Tags: Reverted references removed Visual edit Mobile edit Mobile web edit

curprev 17:0417:04, 18 April 2022 Baldy Bill talk contribs m 13,792 bytes +241 Moved ref from section title to inline undo
curprev 17:0217:02, 18 April 2022 Baldy Bill talk contribs m 13,551 bytes +28 →Variable splitting: Adding link to orphaned article, Wikiproject Orphanage: You can help! undo

curprev 13:5713:57, 14 June 2021 Jarble talk contribs m 13,523 bytes +23 linking undo

curprev 18:3118:31, 20 June 2020 Jarble talk contribs m 13,500 bytes +4 linking undo

curprev 22:2522:25, 13 July 2019 LilHelpa talk contribs m 13,496 bytes 0 typo undo

curprev 01:3101:31, 21 November 2018 Ira Leviton talk contribs 13,496 bytes +161 Rephrasing is needed to avoid using 'we'. Wikipedia is an encyclopedia, not a math textbook. undo

curprev 22:0222:02, 13 February 2017 2620:0:10f3:8:3110:c6dc:dd9b:e20a talk 13,335 bytes −2 No edit summary undo
curprev 22:0122:01, 13 February 2017 2620:0:10f3:8:3110:c6dc:dd9b:e20a talk 13,337 bytes −10 Remove superfluous "Bool Bool" that must have been accidentally pasted undo Tag: Visual edit

curprev 14:5314:53, 11 October 2016 2405:204:b082:cd75::231a:80b1 talk 13,347 bytes +9 No edit summary undo Tags: Mobile edit Mobile web edit

curprev 09:2909:29, 12 August 2016 Surt91 talk contribs 13,338 bytes +2 →Data structures for storing clauses undo

curprev 07:0307:03, 20 April 2016 121.208.130.199 talk 13,336 bytes 0 →Branching heuristics in conflict-driven algorithms undo

curprev 16:2616:26, 25 February 2016 John of Reading talk contribs 13,336 bytes +29 Typo/general fixes, replaced: Occurences → Occurrences, added orphan tag using AWB undo

curprev 23:4423:44, 13 December 2015 Malcolmxl5 talk contribs 9,996 bytes +2 added Category:Boolean algebra; removed {{uncategorized}} using HotCat undo

curprev 20:4220:42, 12 December 2015 Iordantrenkov talk contribs 9,994 bytes +274 No edit summary undo
curprev 20:3920:39, 12 December 2015 Iordantrenkov talk contribs 9,720 bytes +120 No edit summary undo

curprev 18:5218:52, 11 December 2015 Postcard Cathy talk contribs 9,600 bytes +30 →References undo
curprev 16:1416:14, 11 December 2015 Iordantrenkov talk contribs 9,570 bytes +452 No edit summary undo
curprev 06:1406:14, 11 December 2015 BG19bot talk contribs m 9,118 bytes −3 WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (11756) undo

curprev 14:4514:45, 10 December 2015 Iordantrenkov talk contribs 9,121 bytes +5 No edit summary undo

20 March 2025

9 March 2025

19 November 2024

14 November 2024

7 November 2024

17 April 2024

21 December 2023

2 November 2023

10 October 2022

23 June 2022

28 May 2022

18 April 2022

14 June 2021

20 June 2020

13 July 2019

21 November 2018

13 February 2017

11 October 2016

12 August 2016

20 April 2016

25 February 2016

15 December 2015

14 December 2015

13 December 2015

12 December 2015

11 December 2015

10 December 2015