Matches in SemOpenAlex for { <https://semopenalex.org/work/W2046337029> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2046337029 endingPage "148" @default.
- W2046337029 startingPage "139" @default.
- W2046337029 abstract "The basis of this paper is the observation that for several proof systems for propositional formulas in conjunctive normal form there are families of hard examples for which the shortest proof requires superpolynomially many steps. We will show that – under the assumption NP≠coNP – it is impossible to transform formulas into a logically equivalent formula by adding polynomially many clauses such that it can be decided in polynomial time whether a clause is a consequence of the enlarged formula. This result especially holds for resolution, i.e. for all polynomials p and q there exists a formula Φ ∈ CNF , such that for each equivalent formula Ψ ∈ CNF with | Ψ |⩽ q (| Φ |) there is a clause π with Φ⊨π for which the shortest resolution proof Ψ ⊢ RES π requires more than p (| Φ |+| π |) resolution steps." @default.
- W2046337029 created "2016-06-24" @default.
- W2046337029 creator A5037967044 @default.
- W2046337029 creator A5058906684 @default.
- W2046337029 date "1999-10-01" @default.
- W2046337029 modified "2023-10-01" @default.
- W2046337029 title "Resolution remains hard under equivalence" @default.
- W2046337029 cites W1543891730 @default.
- W2046337029 cites W155612886 @default.
- W2046337029 cites W1940223960 @default.
- W2046337029 cites W1997158981 @default.
- W2046337029 cites W2025252200 @default.
- W2046337029 cites W2062032114 @default.
- W2046337029 cites W2069767473 @default.
- W2046337029 cites W2086598417 @default.
- W2046337029 cites W2133527541 @default.
- W2046337029 doi "https://doi.org/10.1016/s0166-218x(99)00055-4" @default.
- W2046337029 hasPublicationYear "1999" @default.
- W2046337029 type Work @default.
- W2046337029 sameAs 2046337029 @default.
- W2046337029 citedByCount "2" @default.
- W2046337029 crossrefType "journal-article" @default.
- W2046337029 hasAuthorship W2046337029A5037967044 @default.
- W2046337029 hasAuthorship W2046337029A5058906684 @default.
- W2046337029 hasConcept C102993220 @default.
- W2046337029 hasConcept C114614502 @default.
- W2046337029 hasConcept C118615104 @default.
- W2046337029 hasConcept C12426560 @default.
- W2046337029 hasConcept C134306372 @default.
- W2046337029 hasConcept C136979486 @default.
- W2046337029 hasConcept C138268822 @default.
- W2046337029 hasConcept C14523651 @default.
- W2046337029 hasConcept C154945302 @default.
- W2046337029 hasConcept C16221470 @default.
- W2046337029 hasConcept C199360897 @default.
- W2046337029 hasConcept C2524010 @default.
- W2046337029 hasConcept C2780069185 @default.
- W2046337029 hasConcept C33203268 @default.
- W2046337029 hasConcept C33923547 @default.
- W2046337029 hasConcept C41008148 @default.
- W2046337029 hasConcept C74640108 @default.
- W2046337029 hasConcept C90119067 @default.
- W2046337029 hasConceptScore W2046337029C102993220 @default.
- W2046337029 hasConceptScore W2046337029C114614502 @default.
- W2046337029 hasConceptScore W2046337029C118615104 @default.
- W2046337029 hasConceptScore W2046337029C12426560 @default.
- W2046337029 hasConceptScore W2046337029C134306372 @default.
- W2046337029 hasConceptScore W2046337029C136979486 @default.
- W2046337029 hasConceptScore W2046337029C138268822 @default.
- W2046337029 hasConceptScore W2046337029C14523651 @default.
- W2046337029 hasConceptScore W2046337029C154945302 @default.
- W2046337029 hasConceptScore W2046337029C16221470 @default.
- W2046337029 hasConceptScore W2046337029C199360897 @default.
- W2046337029 hasConceptScore W2046337029C2524010 @default.
- W2046337029 hasConceptScore W2046337029C2780069185 @default.
- W2046337029 hasConceptScore W2046337029C33203268 @default.
- W2046337029 hasConceptScore W2046337029C33923547 @default.
- W2046337029 hasConceptScore W2046337029C41008148 @default.
- W2046337029 hasConceptScore W2046337029C74640108 @default.
- W2046337029 hasConceptScore W2046337029C90119067 @default.
- W2046337029 hasLocation W20463370291 @default.
- W2046337029 hasOpenAccess W2046337029 @default.
- W2046337029 hasPrimaryLocation W20463370291 @default.
- W2046337029 hasRelatedWork W1492881020 @default.
- W2046337029 hasRelatedWork W2022840750 @default.
- W2046337029 hasRelatedWork W2039236516 @default.
- W2046337029 hasRelatedWork W2046337029 @default.
- W2046337029 hasRelatedWork W2153912760 @default.
- W2046337029 hasRelatedWork W2951050752 @default.
- W2046337029 hasRelatedWork W4298206169 @default.
- W2046337029 hasRelatedWork W4321153753 @default.
- W2046337029 hasRelatedWork W860315492 @default.
- W2046337029 hasRelatedWork W2525632790 @default.
- W2046337029 hasVolume "96-97" @default.
- W2046337029 isParatext "false" @default.
- W2046337029 isRetracted "false" @default.
- W2046337029 magId "2046337029" @default.
- W2046337029 workType "article" @default.