Jump to content

Talk:Boolean 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 23:3623:36, 8 March 2024 Cewbot talk contribs m 30,551 bytes −15 Maintain {{WPBS}}: 3 WikiProject templates. Remove 1 deprecated parameter: field. undo Tag: Talk banner shell conversion

curprev 11:3111:31, 6 January 2024 Cewbot talk contribs m 30,566 bytes −45 Maintain {{WPBS}} and vital articles: 3 WikiProject templates. Merge {{VA}} into {{WPBS}}. Keep majority rating "C" in {{WPBS}}. Remove 3 same ratings as {{WPBS}} in {{WikiProject Computing}}, {{WikiProject Computer science}}, {{Maths rating}}. undo

curprev 22:4122:41, 20 June 2022 Caleb Stanford talk contribs 30,611 bytes +3 rate importance=top by comparison with Travelling salesman problem. I also wouldn't mind both being importance=high, feel free to edit accordingly undo Tag: 2017 wikitext editor

curprev 17:5517:55, 16 May 2022 Mark viking talk contribs 30,608 bytes +469 →Unnecessary references to Horn clauses?: reply undo
curprev 17:4617:46, 16 May 2022 Jochen Burghardt talk contribs 30,139 bytes +453 →Unnecessary references to Horn clauses?: rp undo
curprev 13:5313:53, 16 May 2022 EditorPerson53 talk contribs m 29,686 bytes +2 →Unnecessary references to Horn clauses? undo
curprev 13:5213:52, 16 May 2022 EditorPerson53 talk contribs 29,684 bytes +503 →Unnecessary references to Horn clauses?: new section undo

curprev 15:1415:14, 9 January 2022 Caleb Stanford talk contribs 29,181 bytes +125 →SAT solver should be its own article: done undo Tag: 2017 wikitext editor

curprev 18:4318:43, 21 November 2021 Jochen Burghardt talk contribs 29,056 bytes +124 →SAT solver should be its own article undo

curprev 21:4221:42, 20 November 2021 Caleb Stanford talk contribs 28,932 bytes +347 →SAT solver should be its own article: new section undo Tag: New topic

curprev 18:4118:41, 28 July 2021 RenatUK talk contribs 28,585 bytes −82 Fixed {{Vital article}} undo

curprev 00:4600:46, 18 April 2021 PrimeBOT talk contribs m 28,667 bytes −88 →top: Task 24 - removal of a template following a TFD (plus genfixes/cleanup) undo Tag: AWB

curprev 10:5710:57, 25 March 2020 Cewbot talk contribs m 28,755 bytes +134 Maintain {{Vital article}}: The article is listed in the level 5 page: Theoretical computer science (57 articles) undo

curprev 22:3422:34, 9 February 2017 Daniel pehoushek talk contribs 28,621 bytes +375 →Is adding a k-clause during satisfiability solving equivalent to deciding an (n-k) variable QBF?: new section undo

curprev 00:0700:07, 6 November 2016 InternetArchiveBot talk contribs 28,246 bytes +1,101 Notification of altered sources needing review #IABot (v1.2.6) undo

curprev 00:5700:57, 10 October 2016 Jarble talk contribs 27,145 bytes +23 linking to sources for this article undo

curprev 22:2322:23, 21 June 2016 BU RoBOT talk contribs m 27,122 bytes +14 →top: Auto-assessment of article class. Editors are encouraged to manually assess articles. See User:BU_RoBOT/autoassess for more info. undo

curprev 14:0814:08, 7 April 2016 Cyberbot II talk contribs 27,108 bytes +1,121 Notification of altered sources needing review #IABot undo

curprev 10:5410:54, 11 August 2015 KevinGoedecke talk contribs m 25,987 bytes +227 Typo in "Extensions of SAT" undo

curprev 16:1916:19, 27 March 2015 Jarble talk contribs 25,760 bytes +65 Linking to sources for this article undo

curprev 13:0013:00, 9 October 2014 Jochen Burghardt talk contribs 25,695 bytes +808 →Exponential time hypothesis undo

curprev 15:4315:43, 7 October 2014 Ylloh talk contribs 24,887 bytes +237 No edit summary undo
curprev 15:4015:40, 7 October 2014 Ylloh talk contribs 24,650 bytes +390 →Exponential time hypothesis undo

curprev 14:2514:25, 6 October 2014 Jochen Burghardt talk contribs 24,260 bytes +2,151 →Exponential time hypothesis: new section undo

curprev 06:4806:48, 19 April 2014 Jochen Burghardt talk contribs 22,109 bytes −246 →top: removed warning tag after fix in article undo

curprev 23:2423:24, 18 April 2014 Mark viking talk contribs 22,355 bytes −8 Seems beyond start class, rerating to C class for Math and Computer science wikiprojects undo

curprev 13:3313:33, 3 March 2014 91.17.148.168 talk 22,363 bytes +450 →Capitalization of "Boolean satisfiability problem" ?: new section undo

curprev 12:5812:58, 16 December 2013 Wolfmanx talk contribs 21,913 bytes −2,586 →How does the relation sol(1-in-3-sat) => sol(xor3sat) => sol(3-sat) imply cubic time for 3-sat? undo

curprev 10:3710:37, 4 December 2013 Jochen Burghardt talk contribs 24,499 bytes +689 →How does the relation sol(1-in-3-sat) => sol(xor3sat) => sol(3-sat) imply cubic time for 3-sat? undo

curprev 12:3912:39, 26 November 2013 Wolfmanx talk contribs 23,810 bytes +579 →How does the relation sol(1-in-3-sat) => sol(xor3sat) => sol(3-sat) imply cubic time for 3-sat? undo
curprev 12:0812:08, 26 November 2013 Wolfmanx talk contribs 23,231 bytes +2,860 →How does the relation sol(1-in-3-sat) => sol(xor3sat) => sol(3-sat) imply cubic time for 3-sat? undo

curprev 01:3001:30, 1 November 2013 ChrisGualtieri talk contribs m 12,696 bytes +19 General Fixes using AWB undo

curprev 18:3018:30, 20 September 2013 Jochen Burghardt talk contribs 12,677 bytes +1,592 →Preserving paragraph deleted from Boolean satisfiability problem#Exactly-1 3-satisfiability: new section undo

curprev 22:5322:53, 2 June 2013 Wiki.Tango.Foxtrot talk contribs m 11,085 bytes +73 merging talk page undo

curprev 18:3018:30, 10 May 2013 ChrisGualtieri talk contribs m 11,012 bytes +14 General Talk Page Fixes using AWB undo

curprev 14:2014:20, 12 October 2012 SineBot talk contribs m 10,998 bytes +334 Signing comment by Juan Manuel Dato - "→Why No Discussion on XOR-SAT?: " undo
curprev 14:1914:19, 12 October 2012 Juan Manuel Dato talk contribs 10,664 bytes +309 →Why No Discussion on XOR-SAT? undo

curprev 01:1501:15, 31 May 2012 Rab V talk contribs 10,355 bytes +60 No edit summary undo

curprev 02:1102:11, 20 March 2011 75.57.242.120 talk 10,295 bytes +344 →Vacuous lead undo
curprev 01:4701:47, 20 March 2011 75.57.242.120 talk 9,951 bytes +152 →Vacuous lead undo
curprev 01:3201:32, 20 March 2011 75.57.242.120 talk 9,799 bytes +247 →random SAT: new section undo

curprev 16:3516:35, 19 March 2011 CRGreathouse talk contribs 9,552 bytes −1,285 delete WP:OR undo
curprev 06:3306:33, 19 March 2011 Vaughan Pratt talk contribs 10,837 bytes +366 →SAT is Solved undo

curprev 13:3513:35, 11 March 2011 Favonian talk contribs 10,471 bytes −2,083 Reverted 4 edits by 66.201.52.88 (talk); IP sock of blocked user. (TW) undo
curprev 09:1509:15, 11 March 2011 66.201.52.88 talk 12,554 bytes +27 →Is the language problem "hard"? undo

Retrieved from "https://en.wikipedia.org/wiki/Talk:Boolean_satisfiability_problem"