Boolean satisfiability problem: 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 15:5915:59, 11 May 2025 Jochen Burghardt talk contribs 51,603 bytes 0 Undid revision 1289610551 by Ftiercel (talk): picture should be kept close to its reference in the text undo Tag: Undo

curprev 18:0118:01, 9 May 2025 Ftiercel talk contribs m 51,603 bytes 0 It concerns the variants globally undo Tag: Reverted

curprev 20:4820:48, 29 April 2025 AnomieBOT talk contribs 51,288 bytes +425 Rescuing orphaned refs ("schaefer" from rev 1286671443) undo
curprev 18:2918:29, 29 April 2025 Ftiercel talk contribs 50,863 bytes −3,168 Split to 1-in-3-SAT undo

curprev 09:0309:03, 21 April 2025 Jochen Burghardt talk contribs 54,031 bytes −12,358 Undid revision 1286544132 by Ftiercel (talk): wastes unnecessarily much space for a minor aspect undo Tag: Undo

curprev 15:1215:12, 20 April 2025 Ftiercel talk contribs m 66,389 bytes +12,358 →Exactly-1 3-satisfiability: Image to table undo Tag: Reverted

curprev 19:3219:32, 9 March 2025 Comp.arch talk contribs m 54,031 bytes +2 No edit summary undo Tag: 2017 wikitext editor

curprev 04:2004:20, 15 February 2025 GreenC bot talk contribs 54,029 bytes +187 Rescued 1 archive link; reformat 2 links. Wayback Medic 2.5 per WP:USURPURL and JUDI batch #22ab undo

curprev 16:0716:07, 9 January 2025 Jochen Burghardt talk contribs 53,842 bytes −30 →top: remove nbsp around outermost operators; if nbsp is needed, it should be placed around innermosts optrs undo
curprev 16:0216:02, 9 January 2025 Jochen Burghardt talk contribs 53,872 bytes −80 consistently convert all <ref group=note> footnotes to ((efn)), hoping that this is an improvement undo
curprev 15:5515:55, 9 January 2025 Jochen Burghardt talk contribs 53,952 bytes −245 →top: redo some of Inserteunnombreaqui's shortenings undo
curprev 15:4515:45, 9 January 2025 Jochen Burghardt talk contribs 54,197 bytes +254 undid 2 edits: alternate names in bold correspond to incoming redirects and hence should be visible immediately at the top; avoid 2nd ((notelist)); keep some redundancy that might help non-expert readers to understand the lead undo Tag: Undo

curprev 16:3116:31, 6 January 2025 Paul2520 talk contribs 53,943 bytes +26 added notes list undo Tag: Reverted
curprev 15:2415:24, 6 January 2025 Inserteunnombreaqui talk contribs 53,917 bytes −280 shorten the lead undo Tags: Reverted Visual edit

curprev 06:3906:39, 30 December 2024 Citation bot talk contribs 54,197 bytes +135 Altered template type. Add: isbn, pages, arxiv, doi, date, authors 1-2. Removed parameters. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Satisfiability problems | #UCB_Category 15/15 undo

curprev 13:2313:23, 26 December 2024 Jochen Burghardt talk contribs 54,062 bytes +416 Undid revision 1265188957 by Zzzs (talk): it is clearly an improvement undo Tag: Undo

curprev 16:1616:16, 25 December 2024 Zzzs talk contribs 53,646 bytes −416 Reverted good faith edits by Akangka (talk): Not an improvement undo Tags: Twinkle Undo Reverted Mobile edit Mobile web edit Advanced mobile edit
curprev 16:0616:06, 25 December 2024 Akangka talk contribs 54,062 bytes +416 Adds a surprising result about MAJ-kSAT with arity restriction. undo Tags: Reverted Visual edit

curprev 22:5822:58, 21 December 2024 Dionyziz talk contribs 53,646 bytes +14 →Extensions of SAT undo

curprev 08:5508:55, 3 November 2024 Jochen Burghardt talk contribs 53,632 bytes −135 Undid revision 1254833663 by Darcourse (talk): didn't understand: what is "a selection of literals"? why should it contain pairs? undo Tag: Undo

curprev 22:3722:37, 1 November 2024 Darcourse talk contribs 53,767 bytes +135 →Conjunctive normal form undo Tag: Reverted

curprev 07:4907:49, 3 July 2024 Citation bot talk contribs 53,632 bytes +24 Added isbn. | Use this bot. Report bugs. | Suggested by Abductive | Category:Vague or ambiguous time from June 2024 | #UCB_Category 138/417 undo

curprev 07:2607:26, 30 June 2024 Jochen Burghardt talk contribs 53,608 bytes +9 →Disjunctive normal form: "for example" shouldn't be followed by an instruction undo

curprev 22:1222:12, 29 June 2024 LucasBrown talk contribs m 53,599 bytes +61 Grammar undo Tag: Visual edit

curprev 10:2110:21, 17 April 2024 2a02:a467:b87f:1:f066:cfbd:eaa5:4582 talk 53,538 bytes 0 changed 'proved' into 'proven' undo

curprev 05:2305:23, 20 December 2023 RulesForThee talk contribs m 53,538 bytes +1 →Conjunctive normal form: make definition and examples separate paragraphs to make it easier to read undo Tag: 2017 wikitext editor

curprev 14:5414:54, 9 November 2023 Caleb Stanford talk contribs 53,537 bytes 0 Undid revision 1184273778 -- most important here is consistency, the rest of the article uses Boolean undo Tag: Undo
curprev 11:2311:23, 9 November 2023 Jochen Burghardt talk contribs 53,537 bytes 0 Undid revision 1184227913 by Kvng (talk): afaik, "boolean" is usually written with lower-case "b", despite originating from George Boole undo Tags: Undo Reverted
curprev 03:1303:13, 9 November 2023 Kvng talk contribs m 53,537 bytes 0 caps undo Tag: Reverted

curprev 08:4208:42, 8 November 2023 OAbot talk contribs m 53,537 bytes +34 Open access bot: hdl updated in citation with #oabot. undo

curprev 23:0923:09, 31 August 2023 Trzb talk contribs 53,503 bytes −28 →Sources: changed an external link to an internal link undo Tags: Mobile edit Mobile web edit

curprev 22:1722:17, 23 August 2023 Citation bot talk contribs 53,531 bytes −74 Alter: title, template type. Add: chapter-url, chapter. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox3 | #UCB_webform_linked 215/1947 undo

curprev 06:2106:21, 8 August 2023 Headbomb talk contribs m 53,605 bytes −15 clean up undo Tag: AWB

curprev 09:3309:33, 6 August 2023 Citation bot talk contribs 53,620 bytes +111 Alter: title, template type. Add: chapter-url, date, chapter. Removed or converted URL. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox3 | #UCB_webform_linked 254/2306 undo

curprev 22:2822:28, 21 July 2023 Citation bot talk contribs 53,509 bytes +18 Alter: title, template type, chapter. Add: chapter. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 17:3017:30, 28 June 2023 Jochen Burghardt talk contribs 53,491 bytes +4 →3-satisfiability: request stub on the notion of a fresh variable undo

curprev 02:5702:57, 6 June 2023 Caleb Stanford talk contribs 53,487 bytes −1 possible WP:COPYVIO? fix link undo Tag: 2017 wikitext editor

curprev 10:3010:30, 4 June 2023 Shhhnotsoloud talk contribs 53,488 bytes −184 Copyedit sources undo

curprev 10:1610:16, 7 May 2023 InternetArchiveBot talk contribs 53,672 bytes +218 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.3) (Eastmain - 13643 undo

curprev 12:1012:10, 3 May 2023 2001:9e8:3ff9:1500:c494:8dbf:1234:9bd2 talk 53,454 bytes 0 changed "proved" to "proven" undo

curprev 15:2815:28, 17 March 2023 Horcrux talk contribs m 53,454 bytes +10 →Schaefer's dichotomy theorem undo
curprev 15:2715:27, 17 March 2023 Horcrux talk contribs m 53,444 bytes +2 →Schaefer's dichotomy theorem: tighter complexity classes undo

curprev 21:1221:12, 26 January 2023 Blaze Fire Wolf talk contribs 53,442 bytes −36 Reverting edit(s) by 71.92.164.194 (talk) to rev. 1135576622 by Quantling: Non-constructive edit (UV 0.1.3) undo Tags: Ultraviolet Undo
curprev 21:1121:11, 26 January 2023 71.92.164.194 talk 53,478 bytes +36 Only non-deterministic polynomial algorithm having not only the ability to check correctness of NP complexity problem class questions, but uses a concept I call variable time to side step polynomial time algorithmic structures known before my solution provable upon valid inquiry. using my nondeterministic Turing machine to break 4D constraints, as only my physical body is bound in 4D. contact me at 5thdimensionalspaceboss@gmail.com TF P.S there is no time, only experience; subjective. Jesus IS undo Tag: Reverted

11 May 2025

9 May 2025

30 April 2025

29 April 2025

21 April 2025

20 April 2025

9 March 2025

15 February 2025

9 January 2025

6 January 2025

30 December 2024

26 December 2024

25 December 2024

21 December 2024

3 November 2024

1 November 2024

3 July 2024

30 June 2024

29 June 2024

17 April 2024

20 December 2023

9 November 2023

8 November 2023

31 August 2023

23 August 2023

8 August 2023

6 August 2023

21 July 2023

28 June 2023

6 June 2023

4 June 2023

7 May 2023

3 May 2023

17 March 2023

26 January 2023