Jump to content

Circuit satisfiability problem: 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 06:5006:50, 30 April 2024 Palindromesemordnilap talk contribs 9,146 bytes 0 Corrected section capitalization, per MOS:HEADINGS. (Note: I left some capitalized because they're problem names, so many proper nouns?) undo Tag: 2017 wikitext editor

curprev 11:3011:30, 2 July 2023 The Anome talk contribs 9,146 bytes +70 Importing Wikidata short description: "Classic NP-complete problem in computer science" undo Tag: Shortdesc helper

curprev 12:1312:13, 10 May 2023 Stux talk contribs 9,076 bytes +66 found alternative source for missing paper, this seems to be the best alternative while keeping the original URL around for reference undo

curprev 14:1914:19, 17 February 2023 Citation bot talk contribs 9,010 bytes +60 Add: doi, s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Superegz | Category:NP-complete problems | #UCB_Category 76/78 undo

curprev 17:5117:51, 18 December 2022 Jochen Burghardt talk contribs 8,950 bytes +62 →Minesweeper Inference Problem: xor must be implemented by a *planar* circuitery of nands; link to Kaye's implementation undo
curprev 13:1713:17, 18 December 2022 Jochen Burghardt talk contribs 8,888 bytes +123 →Minesweeper Inference Problem: fix citation; repair deadlink undo

curprev 16:4916:49, 17 December 2022 Jochen Burghardt talk contribs 8,765 bytes +42 →Minesweeper Inference Problem: hint to crossover implementation by xor gates undo

curprev 10:3710:37, 3 December 2022 Jonathan.MFR.Chris.Apollo talk contribs m 8,723 bytes +4 Minor fix undo Tag: Visual edit
curprev 10:3510:35, 3 December 2022 Jonathan.MFR.Chris.Apollo talk contribs m 8,719 bytes +15 Minor fix undo Tag: Visual edit

curprev 20:2220:22, 12 November 2022 42.111.16.67 talk 8,704 bytes +4 No edit summary undo Tags: Manual revert Mobile edit Mobile web edit
curprev 20:2220:22, 12 November 2022 42.111.16.67 talk 8,700 bytes −4 →Circuit UNSAT undo Tags: Reverted Mobile edit Mobile web edit

curprev 08:3708:37, 16 July 2022 Raha96 talk contribs m 8,704 bytes −16 →Planar Circuit SAT undo

curprev 11:4411:44, 15 July 2021 InternetArchiveBot talk contribs 8,720 bytes +190 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.8 undo

curprev 00:2100:21, 25 January 2021 Goszei talk contribs m 8,530 bytes −3 General fixes, replaced: =See Also= → =See also= undo Tag: AWB

curprev 21:2921:29, 28 December 2020 Monkbot talk contribs m 8,533 bytes −81 Task 18 (cosmetic): eval 7 templates: del empty params (10×); undo Tag: AWB

curprev 07:3007:30, 12 October 2020 WikiCleanerBot talk contribs m 8,614 bytes 0 v2.03b - Bot T20 CW#61 - WP:WCW project (Reference before punctuation) undo Tag: WPCleaner

curprev 18:5418:54, 21 September 2020 Myxomatosis57 talk contribs m 8,614 bytes 0 No edit summary undo

curprev 18:5318:53, 13 January 2020 Citation bot talk contribs m 8,614 bytes −46 Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here. | Activated by User:Headbomb | via #UCB_webform undo

curprev 03:1503:15, 13 October 2019 GreenC bot talk contribs 8,660 bytes −37 Reformat 1 archive link. Wayback Medic 2.5 undo

curprev 12:3712:37, 3 July 2019 InternetArchiveBot talk contribs 8,697 bytes +72 Rescuing 0 sources and tagging 1 as dead. #IABot (v2.0beta15) undo

curprev 19:1819:18, 8 May 2019 18.20.191.54 talk 8,625 bytes +42 →Proof of NP-Completeness undo
curprev 19:1819:18, 8 May 2019 18.20.191.54 talk 8,583 bytes −36 No edit summary undo
curprev 19:1619:16, 8 May 2019 18.20.191.54 talk 8,619 bytes +4 No edit summary undo
curprev 19:1519:15, 8 May 2019 18.20.191.54 talk 8,615 bytes −8 No edit summary undo

curprev 23:3523:35, 1 May 2019 Sanzeed talk contribs m 8,623 bytes +212 No edit summary undo Tag: Visual edit

curprev 14:5714:57, 23 April 2019 Sanzeed talk contribs 8,411 bytes +796 Added more information about reduction from circuitSAT undo Tag: Visual edit
curprev 05:0105:01, 23 April 2019 18.10.155.184 talk 7,615 bytes +28 →Reduction undo
curprev 04:5704:57, 23 April 2019 18.10.155.184 talk 7,587 bytes −5 →Reduction undo

curprev 19:2519:25, 18 April 2019 Edemaine talk contribs m 7,592 bytes 0 →The Tseitin transformation undo

curprev 16:2716:27, 30 September 2018 Jackzhp talk contribs 3,934 bytes +166 →Reduction undo

curprev 14:1814:18, 20 December 2014 Brirush talk contribs m 3,432 bytes +51 Adding sections undo

curprev 12:5012:50, 17 February 2014 Eclecticos talk contribs m 3,381 bytes −4 typo undo

Retrieved from "https://en.wikipedia.org/wiki/Circuit_satisfiability_problem"