True quantified Boolean formula: 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:3415:34, 27 May 2025 83.53.100.157 talk 26,120 bytes −1 Error corregido undo Tags: Visual edit Mobile edit Mobile web edit

curprev 03:4203:42, 18 May 2025 Cosmia Nebula talk contribs 26,121 bytes +221 →PSPACE-completeness: logspace reduction undo Tag: Visual edit

curprev 19:4819:48, 13 April 2025 87.92.228.81 talk 25,900 bytes +342 →Extensions: SSAT is an important extension of QBF undo

curprev 02:2202:22, 16 March 2025 Mohibalvi talk contribs 25,558 bytes +91 Added short description undo Tags: Mobile edit Mobile app edit Android app edit App suggested edit App description add

curprev 08:4408:44, 30 January 2025 221.255.214.147 talk 25,467 bytes −1 →Naïve undo

curprev 09:5509:55, 13 December 2024 AnomieBOT talk contribs m 25,468 bytes +19 Dating maintenance tags: {{Not in ref}} undo
curprev 09:3509:35, 13 December 2024 GreenReaper talk contribs 25,449 bytes +25 →State of the art: The claim must be for 2021 as that is the access date; however the page does not claim that it is the winner, it is just the code. undo

curprev 23:2923:29, 14 May 2024 Jochgem talk contribs m 25,424 bytes +60 →Notes and references: link stopped working. replaced undo

curprev 19:1619:16, 30 November 2023 Citation bot talk contribs 25,364 bytes +17 Add: s2cid. | Use this bot. Report bugs. | Suggested by Corvus florensis | #UCB_webform 2421/2500 undo

curprev 15:1815:18, 20 October 2023 138.51.89.113 talk 25,347 bytes +31 correct time bound (space is polynomial in n, so time bound should be exponential in n^k) undo Tags: Visual edit Mobile edit Mobile web edit

curprev 05:4205:42, 27 September 2023 Citation bot talk contribs 25,316 bytes −131 Removed proxy/dead URL that duplicated identifier. Removed parameters. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 02:0202:02, 13 August 2023 OAbot talk contribs m 25,447 bytes +40 Open access bot: doi added to citation with #oabot. undo

curprev 22:1922:19, 5 July 2023 Citation bot talk contribs 25,407 bytes +17 Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles to be expanded from May 2021 | #UCB_Category 93/698 undo

curprev 01:1901:19, 20 February 2023 KageNoSenshi talk contribs m 25,390 bytes +53 No edit summary undo

curprev 11:1911:19, 11 January 2023 Ykhwong talk contribs 25,337 bytes +87 No edit summary undo

curprev 23:5023:50, 30 November 2022 Citation bot talk contribs 25,250 bytes +18 Add: s2cid. | Use this bot. Report bugs. | Suggested by BorgQueen | Category:Articles to be expanded from May 2021 | #UCB_Category 770/789 undo

curprev 12:0712:07, 7 September 2021 Citation bot talk contribs 25,232 bytes −60 Alter: url. URLs might have been anonymized. Add: doi, year, s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. Upgrade ISBN10 to ISBN13. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles with specifically marked weasel-worded phrases from May 2021 | #UCB_Category 230/444 undo

curprev 00:2800:28, 29 July 2021 Rsjaffe talk contribs m 25,292 bytes −15 clean up undo Tag: AWB

curprev 00:1200:12, 31 May 2021 WikiCleanerBot talk contribs m 25,307 bytes 0 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 22:1322:13, 29 May 2021 Duckmather talk contribs 25,307 bytes +3,451 wrote text undo Tag: Visual edit

curprev 16:4116:41, 27 May 2021 Duckmather talk contribs 21,856 bytes +601 No edit summary undo Tag: Visual edit

curprev 19:3619:36, 26 May 2021 117.200.2.52 talk 21,255 bytes +251 →Naïve: added source of this algorithm, it is mentioned in the proof of TQBF belongs to PSPACE-complete undo Tag: Visual edit

curprev 02:3302:33, 8 May 2021 Hellacioussatyr talk contribs 21,004 bytes +38 List unification (+ :-indentation discouraged); italics undo Tag: Visual edit

curprev 18:4618:46, 6 May 2021 AnomieBOT talk contribs m 20,966 bytes +14 Dating maintenance tags: {{Original research section}} undo
curprev 16:4616:46, 6 May 2021 Duckmather talk contribs 20,952 bytes +1,041 wrote about QBF solvers undo Tag: Visual edit

curprev 10:2410:24, 29 March 2021 Jochen Burghardt talk contribs 19,911 bytes −43 couldn't find such a theorem mentioned in any of the 3 given citations; please re-add with an own proper citation undo Tag: Undo
curprev 09:5909:59, 29 March 2021 2600:2b00:770c:a400:c85:43b6:4c07:38fb talk 19,954 bytes +1 →Current state of the art undo Tag: Reverted
curprev 09:5709:57, 29 March 2021 2600:2b00:770c:a400:c85:43b6:4c07:38fb talk 19,953 bytes +42 →Current state of the art using daniel pehoushek program named bob undo Tag: Reverted

curprev 17:3517:35, 13 February 2021 Duckmather talk contribs 19,911 bytes +808 merged "Solving" into "QBF solvers" section w/ sub-headers; added [citation needed] templates for first part undo Tag: Visual edit
curprev 17:0417:04, 13 February 2021 Duckmather talk contribs 19,103 bytes +807 added section about QBF solvers undo Tag: Visual edit

curprev 13:0413:04, 14 December 2020 Jarble talk contribs m 18,296 bytes 0 editing a link undo

curprev 07:5107:51, 20 October 2020 Monkbot talk contribs m 18,296 bytes +2 →Overview: Task 17 (BRFA trial): replace deprecated: |last-author-amp= (1× replaced; usage: 1 of 2); undo Tag: AWB

curprev 12:0812:08, 30 September 2020 Jochen Burghardt talk contribs 18,294 bytes +1 →Miscellany: punct. before ref.; tense (?) undo
curprev 12:0212:02, 30 September 2020 A-Queffelec talk contribs 18,293 bytes +349 →Miscellany: Addition of Planar TQBF results undo Tag: Visual edit

curprev 02:4902:49, 2 April 2020 Citation bot talk contribs 17,944 bytes −224 Alter: title, pages. Add: issue, title-link. Removed parameters. Formatted dashes. | You can use this bot yourself. Report bugs here. | Activated by AManWithNoPlan | All pages linked from User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked undo

curprev 17:4217:42, 28 April 2019 Gfredericks756 talk contribs m 18,168 bytes +1 →PSPACE-completeness: add a missing period undo

curprev 00:4000:40, 1 November 2018 AlexBenishek talk contribs 18,167 bytes −35 Slightly changed language to be less condescending. undo Tag: Visual edit

curprev 00:0700:07, 5 August 2018 75.101.60.180 talk 18,202 bytes +23 →External links undo
curprev 00:0500:05, 5 August 2018 75.101.60.180 talk 18,179 bytes +41 →External links undo
curprev 00:0400:04, 5 August 2018 75.101.60.180 talk 18,138 bytes +346 →External links undo

curprev 14:4914:49, 16 May 2018 OAbot talk contribs m 17,792 bytes +17 Open access bot: add arxiv identifier to citation with #oabot. undo

curprev 05:4905:49, 3 November 2017 KolbertBot talk contribs m 17,775 bytes +1 Bot: HTTP→HTTPS (v475) undo

curprev 02:5702:57, 30 September 2016 Cedar101 talk contribs m 17,774 bytes −24 →PSPACE-completeness: \mathsf, \mathsf undo

curprev 17:4717:47, 6 June 2016 Dcirovic talk contribs m 17,798 bytes +24 →Overview: refs using AWB undo

curprev 01:2201:22, 27 July 2015 24.130.80.223 talk 17,774 bytes +17 →Solving undo

curprev 17:5317:53, 19 June 2015 KYLEMONGER talk contribs m 17,757 bytes +10 →Solving: used proper superscript instead of 2^n notation undo

curprev 11:3511:35, 28 February 2015 37.26.146.247 talk 17,747 bytes −4 →External links undo
curprev 11:3411:34, 28 February 2015 37.26.146.247 talk 17,751 bytes +186 →External links undo

curprev 20:4320:43, 12 August 2014 Jochen Burghardt talk contribs 17,565 bytes +8 →top: dab undo

curprev 08:2308:23, 1 March 2013 Addbot talk contribs m 17,557 bytes −187 Bot: Migrating 4 interwiki links, now provided by Wikidata on d:q1350285 undo

27 May 2025

18 May 2025

13 April 2025

16 March 2025

30 January 2025

13 December 2024

14 May 2024

30 November 2023

20 October 2023

27 September 2023

13 August 2023

5 July 2023

20 February 2023

11 January 2023

30 November 2022

7 September 2021

29 July 2021

31 May 2021

29 May 2021

27 May 2021

26 May 2021

8 May 2021

6 May 2021

29 March 2021

13 February 2021

14 December 2020

20 October 2020

30 September 2020

2 April 2020

28 April 2019

1 November 2018

5 August 2018

16 May 2018

3 November 2017

30 September 2016

6 June 2016

27 July 2015

19 June 2015

28 February 2015

12 August 2014

1 March 2013