Maximum 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 02:3602:36, 29 December 2024 Whoever10 talk contribs m 13,500 bytes +24 clarified that MAX-SAT is NP-hard as a decision problem. it's said in the same sentence that it's OptP-complete, while OptP and NP belong to different contexts undo

curprev 01:5701:57, 28 December 2024 Patar knight talk contribs 13,476 bytes +65 Adding short description: "Problem in computational complexity theory" undo Tag: Shortdesc helper

curprev 14:4014:40, 21 November 2024 Rambledwreck talk contribs m 13,411 bytes 0 Capitalized the w in "Weighted MAX-SAT" for consistency undo

curprev 09:5009:50, 29 July 2024 Citation bot talk contribs 13,411 bytes +82 Add: doi-access, journal, pages, authors 1-1. 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/Sandbox2 | #UCB_webform_linked 821/1051 undo

curprev 12:2512:25, 16 May 2024 132.68.46.74 talk 13,329 bytes +866 →Weighted MAX-SAT: Added state-of-the-art algorithm undo

curprev 03:0003:00, 29 December 2023 HTinC23 talk contribs m 12,463 bytes +5 fixed Category:Harv and Sfn no-target errors (added year) undo

curprev 12:3612:36, 20 November 2023 OAbot talk contribs m 12,458 bytes +16 Open access bot: hdl updated in citation with #oabot. undo

curprev 10:4910:49, 31 August 2023 Citation bot talk contribs 12,442 bytes +182 Alter: pages, template type. Add: isbn, pages, date, title, chapter, chapter-url, hdl, doi, issue, authors 1-2. Removed or converted URL. Changed bare reference to CS1/2. Formatted dashes. Upgrade ISBN10 to 13. | Use this bot. Report bugs. | Suggested by Corvus florensis | #UCB_webform 1660/2500 undo

curprev 05:4305:43, 28 March 2023 WikiCleanerBot talk contribs m 12,260 bytes −1 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 16:3416:34, 26 March 2023 Pyschobbens talk contribs m 12,261 bytes +207 No edit summary undo

curprev 23:5823:58, 28 May 2022 Suffusion of Yellow talk contribs m 12,054 bytes +131 rv mass unexplained blanking undo Tag: Rollback
curprev 23:5523:55, 28 May 2022 102.250.1.14 talk 11,923 bytes −131 No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 02:4002:40, 3 December 2021 Citation bot talk contribs 12,054 bytes +40 Alter: url. URLs might have been anonymized. Add: doi, pages, issue, s2cid, authors 1-1. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 931/2200 undo

curprev 18:4918:49, 28 June 2021 SdkbBot talk contribs m 12,014 bytes −1 →Solvers: General fixes, removed erroneous space undo Tag: AWB

curprev 18:2018:20, 27 November 2020 Monkbot talk contribs m 12,015 bytes −14 Task 18 (cosmetic): eval 4 templates: del empty params (2×); hyphenate params (1×); undo Tag: AWB

curprev 03:4603:46, 13 February 2020 GreenC bot talk contribs 12,029 bytes −10 Move 1 url. Wayback Medic 2.5 undo

curprev 11:4911:49, 22 December 2019 Esrogs talk contribs m 12,039 bytes +18 →Related problems: make soft-SAT def more clear undo
curprev 11:4811:48, 22 December 2019 Esrogs talk contribs m 12,021 bytes −5 →Related problems: clarity undo

curprev 10:3710:37, 4 October 2019 Artemisart W talk contribs 12,026 bytes +88 update reference (old link down) undo Tag: Visual edit

curprev 17:0317:03, 2 September 2019 Jarble talk contribs 11,938 bytes +390 adding links to references using Google Scholar undo

curprev 21:3621:36, 6 June 2019 David Eppstein talk contribs 11,548 bytes −41 Undid revision 900650229 by 131.107.160.178 (talk) inane description and replacement of correct term by incorrect one undo Tag: Undo
curprev 21:2621:26, 6 June 2019 131.107.160.178 talk 11,589 bytes +41 short description undo

curprev 05:0305:03, 20 December 2018 Citation bot talk contribs m 11,548 bytes −111 Alter: url, isbn. Add: pages. Removed parameters. Formatted dashes. You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 01:4601:46, 17 November 2018 JCW-CleanerBot talk contribs m 11,659 bytes +1 →Related problems: task, replaced: IEEE Transaction → IEEE Transactions undo Tag: AWB

curprev 00:1100:11, 23 January 2018 InternetArchiveBot talk contribs 11,658 bytes +44 Rescuing 1 sources and tagging 0 as dead. #IABot (v1.6.2) undo

curprev 21:4121:41, 10 January 2018 Headbomb talk contribs 11,614 bytes +6 →Weighted MAX-SAT: fix undo

curprev 18:3118:31, 7 December 2017 5.179.98.241 talk 11,608 bytes +17 No edit summary undo

curprev 20:1720:17, 26 November 2017 MinusBot talk contribs m 11,591 bytes −41 Proper minus signs and other cleanup. Report bugs, errors, and suggestions at User talk:MinusBot undo

curprev 22:4522:45, 22 November 2017 Siddharthist talk contribs 11,632 bytes +148 →Related problems: Expand and organize related problems undo Tag: 2017 wikitext editor
curprev 22:1722:17, 22 November 2017 Siddharthist talk contribs 11,484 bytes +201 →Related problems: More links to MAX-kSAT related problems undo Tag: 2017 wikitext editor

curprev 04:4304:43, 29 September 2016 2601:445:4001:8a30:65a1:6152:c0e3:13e7 talk 5,504 bytes 0 No edit summary undo

curprev 17:1117:11, 25 January 2015 AshishMbm2012 talk contribs 5,504 bytes 0 →Example undo

curprev 00:1400:14, 3 February 2014 David Eppstein talk contribs 5,504 bytes +880 Rewrite a little to avoid unnecessary abbreviations, but this seems to have enough context to me. Untag. Add an example and some sections undo

curprev 14:2514:25, 16 January 2014 46.193.174.236 talk 4,624 bytes +10 No edit summary undo

curprev 13:0213:02, 11 June 2013 9thbit talk contribs 4,614 bytes −74 →External links: Remove link that gives 500 error. undo

curprev 11:1211:12, 18 May 2013 Luc Jaulin talk contribs 4,688 bytes −7 No edit summary undo
curprev 11:0711:07, 18 May 2013 Luc Jaulin talk contribs 4,695 bytes +532 I added a link to the concept of relaxed intersection which is closely related to the MAX-SAT problem undo

curprev 12:5912:59, 17 October 2012 RobinK talk contribs 4,163 bytes −97 Removed "In particular O(NP^{log}) for unweighted, and O(NP^{NP}) for weighted." I don't understand what this means. undo

curprev 12:1712:17, 12 October 2012 Yobot talk contribs m 4,260 bytes −25 WP:CHECKWIKI error 61 fix, References after punctuation per WP:REFPUNC and WP:PAIC using AWB (8459) undo

curprev 16:5816:58, 7 September 2011 193.144.12.130 talk 4,285 bytes +14 No edit summary undo

curprev 08:1108:11, 5 September 2011 80.153.244.80 talk 4,271 bytes +48 No edit summary undo

curprev 10:3210:32, 26 July 2011 Zeno Gantner talk contribs 4,223 bytes +1 No edit summary undo

curprev 09:3509:35, 23 June 2011 193.144.12.130 talk 4,222 bytes +40 No edit summary undo

curprev 12:1812:18, 23 May 2011 Marcuswikipedian talk contribs 4,182 bytes +371 added heuristics undo

curprev 16:1716:17, 16 May 2011 94.29.143.197 talk 3,811 bytes +74 Undid revision 427954000 by 209.2.208.203 (talk) undo

29 December 2024

28 December 2024

21 November 2024

29 July 2024

16 May 2024

29 December 2023

20 November 2023

31 August 2023

28 March 2023

26 March 2023

28 May 2022

3 December 2021

28 June 2021

27 November 2020

13 February 2020

22 December 2019

4 October 2019

2 September 2019

6 June 2019

20 December 2018

17 November 2018

23 January 2018

10 January 2018

7 December 2017

26 November 2017

22 November 2017

19 November 2017

29 September 2016

25 January 2015

3 February 2014

16 January 2014

11 June 2013

18 May 2013

17 October 2012

12 October 2012

7 September 2011

5 September 2011

26 July 2011

23 June 2011

23 May 2011

16 May 2011