Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964003362> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2964003362 endingPage "20" @default.
- W2964003362 startingPage "1" @default.
- W2964003362 abstract "We present and study a framework in which one can present alternation-based lower bounds on proof length in proof systems for quantified Boolean formulas. A key notion in this framework is that of proof system ensemble , which is (essentially) a sequence of proof systems where, for each, proof checking can be performed in the polynomial hierarchy. We introduce a proof system ensemble called relaxing QU-res that is based on the established proof system QU-resolution . Our main results include an exponential separation of the treelike and general versions of relaxing QU-res and an exponential lower bound for relaxing QU-res; these are analogs of classical results in propositional proof complexity." @default.
- W2964003362 created "2019-07-30" @default.
- W2964003362 creator A5044720498 @default.
- W2964003362 date "2017-09-18" @default.
- W2964003362 modified "2023-09-27" @default.
- W2964003362 title "Proof Complexity Modulo the Polynomial Hierarchy" @default.
- W2964003362 cites W1480301700 @default.
- W2964003362 cites W1482661140 @default.
- W2964003362 cites W1525848078 @default.
- W2964003362 cites W1851471023 @default.
- W2964003362 cites W1976876676 @default.
- W2964003362 cites W1996660205 @default.
- W2964003362 cites W2014195574 @default.
- W2964003362 cites W2047237020 @default.
- W2964003362 cites W2069767473 @default.
- W2964003362 cites W2084384424 @default.
- W2964003362 cites W2092984557 @default.
- W2964003362 cites W2098397367 @default.
- W2964003362 cites W2171790376 @default.
- W2964003362 cites W2339728308 @default.
- W2964003362 cites W45235819 @default.
- W2964003362 cites W53088276 @default.
- W2964003362 cites W54881092 @default.
- W2964003362 cites W88271430 @default.
- W2964003362 doi "https://doi.org/10.1145/3087534" @default.
- W2964003362 hasPublicationYear "2017" @default.
- W2964003362 type Work @default.
- W2964003362 sameAs 2964003362 @default.
- W2964003362 citedByCount "8" @default.
- W2964003362 countsByYear W29640033622017 @default.
- W2964003362 countsByYear W29640033622019 @default.
- W2964003362 countsByYear W29640033622020 @default.
- W2964003362 countsByYear W29640033622021 @default.
- W2964003362 crossrefType "journal-article" @default.
- W2964003362 hasAuthorship W2964003362A5044720498 @default.
- W2964003362 hasBestOaLocation W29640033622 @default.
- W2964003362 hasConcept C105605280 @default.
- W2964003362 hasConcept C108710211 @default.
- W2964003362 hasConcept C114614502 @default.
- W2964003362 hasConcept C118539577 @default.
- W2964003362 hasConcept C118615104 @default.
- W2964003362 hasConcept C134306372 @default.
- W2964003362 hasConcept C135754263 @default.
- W2964003362 hasConcept C138268822 @default.
- W2964003362 hasConcept C154945302 @default.
- W2964003362 hasConcept C161505775 @default.
- W2964003362 hasConcept C162324750 @default.
- W2964003362 hasConcept C195653647 @default.
- W2964003362 hasConcept C2318724 @default.
- W2964003362 hasConcept C2524010 @default.
- W2964003362 hasConcept C31170391 @default.
- W2964003362 hasConcept C33923547 @default.
- W2964003362 hasConcept C34447519 @default.
- W2964003362 hasConcept C41008148 @default.
- W2964003362 hasConcept C54732982 @default.
- W2964003362 hasConcept C90119067 @default.
- W2964003362 hasConceptScore W2964003362C105605280 @default.
- W2964003362 hasConceptScore W2964003362C108710211 @default.
- W2964003362 hasConceptScore W2964003362C114614502 @default.
- W2964003362 hasConceptScore W2964003362C118539577 @default.
- W2964003362 hasConceptScore W2964003362C118615104 @default.
- W2964003362 hasConceptScore W2964003362C134306372 @default.
- W2964003362 hasConceptScore W2964003362C135754263 @default.
- W2964003362 hasConceptScore W2964003362C138268822 @default.
- W2964003362 hasConceptScore W2964003362C154945302 @default.
- W2964003362 hasConceptScore W2964003362C161505775 @default.
- W2964003362 hasConceptScore W2964003362C162324750 @default.
- W2964003362 hasConceptScore W2964003362C195653647 @default.
- W2964003362 hasConceptScore W2964003362C2318724 @default.
- W2964003362 hasConceptScore W2964003362C2524010 @default.
- W2964003362 hasConceptScore W2964003362C31170391 @default.
- W2964003362 hasConceptScore W2964003362C33923547 @default.
- W2964003362 hasConceptScore W2964003362C34447519 @default.
- W2964003362 hasConceptScore W2964003362C41008148 @default.
- W2964003362 hasConceptScore W2964003362C54732982 @default.
- W2964003362 hasConceptScore W2964003362C90119067 @default.
- W2964003362 hasIssue "3" @default.
- W2964003362 hasLocation W29640033621 @default.
- W2964003362 hasLocation W29640033622 @default.
- W2964003362 hasOpenAccess W2964003362 @default.
- W2964003362 hasPrimaryLocation W29640033621 @default.
- W2964003362 hasRelatedWork W1542569653 @default.
- W2964003362 hasRelatedWork W2263677784 @default.
- W2964003362 hasRelatedWork W2461509449 @default.
- W2964003362 hasRelatedWork W2922318846 @default.
- W2964003362 hasRelatedWork W2964003362 @default.
- W2964003362 hasRelatedWork W3013034887 @default.
- W2964003362 hasRelatedWork W3153156984 @default.
- W2964003362 hasRelatedWork W3157478331 @default.
- W2964003362 hasRelatedWork W3173957725 @default.
- W2964003362 hasRelatedWork W3193550244 @default.
- W2964003362 hasVolume "9" @default.
- W2964003362 isParatext "false" @default.
- W2964003362 isRetracted "false" @default.
- W2964003362 magId "2964003362" @default.
- W2964003362 workType "article" @default.