Matches in SemOpenAlex for { <https://semopenalex.org/work/W1741279695> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1741279695 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 which is based on the established proof system QU-resolution. Our main results include an exponential separation of the tree-like 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.
- W1741279695 created "2016-06-24" @default.
- W1741279695 creator A5044720498 @default.
- W1741279695 date "2014-10-20" @default.
- W1741279695 modified "2023-09-27" @default.
- W1741279695 title "Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness" @default.
- W1741279695 cites W119782953 @default.
- W1741279695 cites W1480301700 @default.
- W1741279695 cites W1482661140 @default.
- W1741279695 cites W1852359712 @default.
- W1741279695 cites W1979753555 @default.
- W1741279695 cites W1996660205 @default.
- W1741279695 cites W2014195574 @default.
- W1741279695 cites W2069767473 @default.
- W1741279695 cites W2171790376 @default.
- W1741279695 cites W25993968 @default.
- W1741279695 cites W2953091379 @default.
- W1741279695 cites W2985554528 @default.
- W1741279695 cites W54881092 @default.
- W1741279695 cites W5750292 @default.
- W1741279695 hasPublicationYear "2014" @default.
- W1741279695 type Work @default.
- W1741279695 sameAs 1741279695 @default.
- W1741279695 citedByCount "0" @default.
- W1741279695 crossrefType "posted-content" @default.
- W1741279695 hasAuthorship W1741279695A5044720498 @default.
- W1741279695 hasConcept C105605280 @default.
- W1741279695 hasConcept C108710211 @default.
- W1741279695 hasConcept C118615104 @default.
- W1741279695 hasConcept C134306372 @default.
- W1741279695 hasConcept C138268822 @default.
- W1741279695 hasConcept C138885662 @default.
- W1741279695 hasConcept C151376022 @default.
- W1741279695 hasConcept C154945302 @default.
- W1741279695 hasConcept C161505775 @default.
- W1741279695 hasConcept C162324750 @default.
- W1741279695 hasConcept C195653647 @default.
- W1741279695 hasConcept C2318724 @default.
- W1741279695 hasConcept C2524010 @default.
- W1741279695 hasConcept C26826806 @default.
- W1741279695 hasConcept C31170391 @default.
- W1741279695 hasConcept C33923547 @default.
- W1741279695 hasConcept C34447519 @default.
- W1741279695 hasConcept C41008148 @default.
- W1741279695 hasConcept C41895202 @default.
- W1741279695 hasConcept C54732982 @default.
- W1741279695 hasConceptScore W1741279695C105605280 @default.
- W1741279695 hasConceptScore W1741279695C108710211 @default.
- W1741279695 hasConceptScore W1741279695C118615104 @default.
- W1741279695 hasConceptScore W1741279695C134306372 @default.
- W1741279695 hasConceptScore W1741279695C138268822 @default.
- W1741279695 hasConceptScore W1741279695C138885662 @default.
- W1741279695 hasConceptScore W1741279695C151376022 @default.
- W1741279695 hasConceptScore W1741279695C154945302 @default.
- W1741279695 hasConceptScore W1741279695C161505775 @default.
- W1741279695 hasConceptScore W1741279695C162324750 @default.
- W1741279695 hasConceptScore W1741279695C195653647 @default.
- W1741279695 hasConceptScore W1741279695C2318724 @default.
- W1741279695 hasConceptScore W1741279695C2524010 @default.
- W1741279695 hasConceptScore W1741279695C26826806 @default.
- W1741279695 hasConceptScore W1741279695C31170391 @default.
- W1741279695 hasConceptScore W1741279695C33923547 @default.
- W1741279695 hasConceptScore W1741279695C34447519 @default.
- W1741279695 hasConceptScore W1741279695C41008148 @default.
- W1741279695 hasConceptScore W1741279695C41895202 @default.
- W1741279695 hasConceptScore W1741279695C54732982 @default.
- W1741279695 hasLocation W17412796951 @default.
- W1741279695 hasOpenAccess W1741279695 @default.
- W1741279695 hasPrimaryLocation W17412796951 @default.
- W1741279695 hasRelatedWork W1817813502 @default.
- W1741279695 hasRelatedWork W1836725053 @default.
- W1741279695 hasRelatedWork W1860623713 @default.
- W1741279695 hasRelatedWork W1967948656 @default.
- W1741279695 hasRelatedWork W1976183756 @default.
- W1741279695 hasRelatedWork W2123860315 @default.
- W1741279695 hasRelatedWork W2132317835 @default.
- W1741279695 hasRelatedWork W2187557912 @default.
- W1741279695 hasRelatedWork W2217204207 @default.
- W1741279695 hasRelatedWork W2400910479 @default.
- W1741279695 hasRelatedWork W2461509449 @default.
- W1741279695 hasRelatedWork W259173433 @default.
- W1741279695 hasRelatedWork W2741628291 @default.
- W1741279695 hasRelatedWork W2757756903 @default.
- W1741279695 hasRelatedWork W2950960864 @default.
- W1741279695 hasRelatedWork W2989887679 @default.
- W1741279695 hasRelatedWork W3172953073 @default.
- W1741279695 hasRelatedWork W3186888504 @default.
- W1741279695 hasRelatedWork W3202879084 @default.
- W1741279695 hasRelatedWork W49401050 @default.
- W1741279695 isParatext "false" @default.
- W1741279695 isRetracted "false" @default.
- W1741279695 magId "1741279695" @default.
- W1741279695 workType "article" @default.