Matches in SemOpenAlex for { <https://semopenalex.org/work/W2398889581> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2398889581 abstract "We show that the Player-Adversary game of Pudlak and Impagliazzo [A lower bound for DLL algorithms for k-SAT, in: Proc. 11th Annual ACM-SIAM Symposium on Discrete Algorithms, 2000, pp. 128-136] played over CNF propositional formulas gives an exact characterization of the space needed in treelike resolution refutations. This characterization is purely combinatorial and independent of the notion of resolution. We use this characterization to give for the first time a separation between the space needed in treelike and general resolution." @default.
- W2398889581 created "2016-06-24" @default.
- W2398889581 creator A5027370903 @default.
- W2398889581 creator A5089588504 @default.
- W2398889581 date "2003-01-01" @default.
- W2398889581 modified "2023-09-23" @default.
- W2398889581 title "A Combinatorial Characterization of Treelike Resolution Space" @default.
- W2398889581 hasPublicationYear "2003" @default.
- W2398889581 type Work @default.
- W2398889581 sameAs 2398889581 @default.
- W2398889581 citedByCount "2" @default.
- W2398889581 crossrefType "journal-article" @default.
- W2398889581 hasAuthorship W2398889581A5027370903 @default.
- W2398889581 hasAuthorship W2398889581A5089588504 @default.
- W2398889581 hasConcept C111919701 @default.
- W2398889581 hasConcept C11413529 @default.
- W2398889581 hasConcept C118615104 @default.
- W2398889581 hasConcept C120665830 @default.
- W2398889581 hasConcept C121332964 @default.
- W2398889581 hasConcept C138268822 @default.
- W2398889581 hasConcept C154945302 @default.
- W2398889581 hasConcept C16221470 @default.
- W2398889581 hasConcept C2778572836 @default.
- W2398889581 hasConcept C2780841128 @default.
- W2398889581 hasConcept C33923547 @default.
- W2398889581 hasConcept C38652104 @default.
- W2398889581 hasConcept C41008148 @default.
- W2398889581 hasConcept C41065033 @default.
- W2398889581 hasConceptScore W2398889581C111919701 @default.
- W2398889581 hasConceptScore W2398889581C11413529 @default.
- W2398889581 hasConceptScore W2398889581C118615104 @default.
- W2398889581 hasConceptScore W2398889581C120665830 @default.
- W2398889581 hasConceptScore W2398889581C121332964 @default.
- W2398889581 hasConceptScore W2398889581C138268822 @default.
- W2398889581 hasConceptScore W2398889581C154945302 @default.
- W2398889581 hasConceptScore W2398889581C16221470 @default.
- W2398889581 hasConceptScore W2398889581C2778572836 @default.
- W2398889581 hasConceptScore W2398889581C2780841128 @default.
- W2398889581 hasConceptScore W2398889581C33923547 @default.
- W2398889581 hasConceptScore W2398889581C38652104 @default.
- W2398889581 hasConceptScore W2398889581C41008148 @default.
- W2398889581 hasConceptScore W2398889581C41065033 @default.
- W2398889581 hasLocation W23988895811 @default.
- W2398889581 hasOpenAccess W2398889581 @default.
- W2398889581 hasPrimaryLocation W23988895811 @default.
- W2398889581 hasRelatedWork W1504849762 @default.
- W2398889581 hasRelatedWork W1545489949 @default.
- W2398889581 hasRelatedWork W1563646575 @default.
- W2398889581 hasRelatedWork W1574778830 @default.
- W2398889581 hasRelatedWork W1582402643 @default.
- W2398889581 hasRelatedWork W1582840959 @default.
- W2398889581 hasRelatedWork W1599271043 @default.
- W2398889581 hasRelatedWork W1696733972 @default.
- W2398889581 hasRelatedWork W2022540723 @default.
- W2398889581 hasRelatedWork W2068277524 @default.
- W2398889581 hasRelatedWork W2110053319 @default.
- W2398889581 hasRelatedWork W2142612879 @default.
- W2398889581 hasRelatedWork W2396992663 @default.
- W2398889581 hasRelatedWork W2726059329 @default.
- W2398889581 hasRelatedWork W2733475486 @default.
- W2398889581 hasRelatedWork W3004119281 @default.
- W2398889581 hasRelatedWork W3029628215 @default.
- W2398889581 hasRelatedWork W3099042911 @default.
- W2398889581 hasRelatedWork W3114592709 @default.
- W2398889581 hasRelatedWork W3196504758 @default.
- W2398889581 isParatext "false" @default.
- W2398889581 isRetracted "false" @default.
- W2398889581 magId "2398889581" @default.
- W2398889581 workType "article" @default.