Matches in SemOpenAlex for { <https://semopenalex.org/work/W1504627710> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1504627710 endingPage "79" @default.
- W1504627710 startingPage "70" @default.
- W1504627710 abstract "We continue a study initiated by Krajicek of a Resolution-like proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Krajicek proved in [1] an exponential lower bound of the form: exp(nΩ(1))/MO(W log2 n), where M is the maximal absolute value of coefficients in a given proof and W is the maximal clause width.In this paper we improve this lower bound. For tree-like R(CP)-like proof systems we remove a dependence on the maximal absolute value of coefficients M, hence, we give the answer to an open question from [2]. Proof follows from an upper bound on the real communication complexity of a polyhedra." @default.
- W1504627710 created "2016-06-24" @default.
- W1504627710 creator A5045075322 @default.
- W1504627710 date "2007-06-28" @default.
- W1504627710 modified "2023-09-26" @default.
- W1504627710 title "Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities" @default.
- W1504627710 cites W1985602827 @default.
- W1504627710 cites W2007575279 @default.
- W1504627710 cites W2026967932 @default.
- W1504627710 cites W2041857712 @default.
- W1504627710 cites W2044095368 @default.
- W1504627710 cites W2044632231 @default.
- W1504627710 cites W2047237020 @default.
- W1504627710 cites W2049016755 @default.
- W1504627710 cites W2049645218 @default.
- W1504627710 cites W2072795735 @default.
- W1504627710 cites W2078608416 @default.
- W1504627710 cites W2100577981 @default.
- W1504627710 cites W2137423523 @default.
- W1504627710 cites W2142326240 @default.
- W1504627710 cites W2158029166 @default.
- W1504627710 cites W4240374930 @default.
- W1504627710 doi "https://doi.org/10.1007/978-3-540-72788-0_10" @default.
- W1504627710 hasPublicationYear "2007" @default.
- W1504627710 type Work @default.
- W1504627710 sameAs 1504627710 @default.
- W1504627710 citedByCount "5" @default.
- W1504627710 countsByYear W15046277102020 @default.
- W1504627710 countsByYear W15046277102021 @default.
- W1504627710 countsByYear W15046277102022 @default.
- W1504627710 crossrefType "book-chapter" @default.
- W1504627710 hasAuthorship W1504627710A5045075322 @default.
- W1504627710 hasBestOaLocation W15046277102 @default.
- W1504627710 hasConcept C113174947 @default.
- W1504627710 hasConcept C114614502 @default.
- W1504627710 hasConcept C134306372 @default.
- W1504627710 hasConcept C138268822 @default.
- W1504627710 hasConcept C154945302 @default.
- W1504627710 hasConcept C33923547 @default.
- W1504627710 hasConcept C41008148 @default.
- W1504627710 hasConcept C45555294 @default.
- W1504627710 hasConceptScore W1504627710C113174947 @default.
- W1504627710 hasConceptScore W1504627710C114614502 @default.
- W1504627710 hasConceptScore W1504627710C134306372 @default.
- W1504627710 hasConceptScore W1504627710C138268822 @default.
- W1504627710 hasConceptScore W1504627710C154945302 @default.
- W1504627710 hasConceptScore W1504627710C33923547 @default.
- W1504627710 hasConceptScore W1504627710C41008148 @default.
- W1504627710 hasConceptScore W1504627710C45555294 @default.
- W1504627710 hasLocation W15046277101 @default.
- W1504627710 hasLocation W15046277102 @default.
- W1504627710 hasOpenAccess W1504627710 @default.
- W1504627710 hasPrimaryLocation W15046277101 @default.
- W1504627710 hasRelatedWork W1978042415 @default.
- W1504627710 hasRelatedWork W1978394307 @default.
- W1504627710 hasRelatedWork W2017331178 @default.
- W1504627710 hasRelatedWork W2067402682 @default.
- W1504627710 hasRelatedWork W2340243119 @default.
- W1504627710 hasRelatedWork W2353153612 @default.
- W1504627710 hasRelatedWork W2798264006 @default.
- W1504627710 hasRelatedWork W2948498360 @default.
- W1504627710 hasRelatedWork W2976797620 @default.
- W1504627710 hasRelatedWork W3086542228 @default.
- W1504627710 isParatext "false" @default.
- W1504627710 isRetracted "false" @default.
- W1504627710 magId "1504627710" @default.
- W1504627710 workType "book-chapter" @default.