Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567308215> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1567308215 endingPage "318" @default.
- W1567308215 startingPage "309" @default.
- W1567308215 abstract "This paper discusses the problem of finding a shortest Resolution proof for a CNF formula of n variables. It is shown that if there is a polynomial-time (superpolynomial-time or subexponential time, respectively) approximation algorithm that finds a nearly shortest proof of length up to S + O(n d ), where S is the length of the shortest proof and d may be any constant, then there is a polynomial-time (superpolynomial-time or subexponential-time, respectively) algorithm that solves the (conventional) satisfiability of CNF formulas. This immediately gives a positive answer to the open problem asking whether finding a shortest Resolution proof is NP-hard." @default.
- W1567308215 created "2016-06-24" @default.
- W1567308215 creator A5062918669 @default.
- W1567308215 date "1997-01-01" @default.
- W1567308215 modified "2023-10-03" @default.
- W1567308215 title "Complexity of finding short resolution proofs" @default.
- W1567308215 cites W1509587667 @default.
- W1567308215 cites W1971756951 @default.
- W1567308215 cites W1996980357 @default.
- W1567308215 cites W2014111643 @default.
- W1567308215 cites W2069767473 @default.
- W1567308215 cites W2073025989 @default.
- W1567308215 cites W2097113315 @default.
- W1567308215 cites W2132489129 @default.
- W1567308215 cites W2137360584 @default.
- W1567308215 doi "https://doi.org/10.1007/bfb0029974" @default.
- W1567308215 hasPublicationYear "1997" @default.
- W1567308215 type Work @default.
- W1567308215 sameAs 1567308215 @default.
- W1567308215 citedByCount "32" @default.
- W1567308215 countsByYear W15673082152013 @default.
- W1567308215 countsByYear W15673082152015 @default.
- W1567308215 countsByYear W15673082152018 @default.
- W1567308215 countsByYear W15673082152019 @default.
- W1567308215 countsByYear W15673082152020 @default.
- W1567308215 countsByYear W15673082152021 @default.
- W1567308215 countsByYear W15673082152023 @default.
- W1567308215 crossrefType "book-chapter" @default.
- W1567308215 hasAuthorship W1567308215A5062918669 @default.
- W1567308215 hasConcept C105605280 @default.
- W1567308215 hasConcept C108710211 @default.
- W1567308215 hasConcept C11413529 @default.
- W1567308215 hasConcept C114614502 @default.
- W1567308215 hasConcept C118615104 @default.
- W1567308215 hasConcept C134306372 @default.
- W1567308215 hasConcept C138268822 @default.
- W1567308215 hasConcept C154945302 @default.
- W1567308215 hasConcept C168773769 @default.
- W1567308215 hasConcept C199360897 @default.
- W1567308215 hasConcept C2524010 @default.
- W1567308215 hasConcept C2777027219 @default.
- W1567308215 hasConcept C311688 @default.
- W1567308215 hasConcept C33923547 @default.
- W1567308215 hasConcept C41008148 @default.
- W1567308215 hasConcept C90119067 @default.
- W1567308215 hasConceptScore W1567308215C105605280 @default.
- W1567308215 hasConceptScore W1567308215C108710211 @default.
- W1567308215 hasConceptScore W1567308215C11413529 @default.
- W1567308215 hasConceptScore W1567308215C114614502 @default.
- W1567308215 hasConceptScore W1567308215C118615104 @default.
- W1567308215 hasConceptScore W1567308215C134306372 @default.
- W1567308215 hasConceptScore W1567308215C138268822 @default.
- W1567308215 hasConceptScore W1567308215C154945302 @default.
- W1567308215 hasConceptScore W1567308215C168773769 @default.
- W1567308215 hasConceptScore W1567308215C199360897 @default.
- W1567308215 hasConceptScore W1567308215C2524010 @default.
- W1567308215 hasConceptScore W1567308215C2777027219 @default.
- W1567308215 hasConceptScore W1567308215C311688 @default.
- W1567308215 hasConceptScore W1567308215C33923547 @default.
- W1567308215 hasConceptScore W1567308215C41008148 @default.
- W1567308215 hasConceptScore W1567308215C90119067 @default.
- W1567308215 hasLocation W15673082151 @default.
- W1567308215 hasOpenAccess W1567308215 @default.
- W1567308215 hasPrimaryLocation W15673082151 @default.
- W1567308215 hasRelatedWork W1493749469 @default.
- W1567308215 hasRelatedWork W151552961 @default.
- W1567308215 hasRelatedWork W1852359712 @default.
- W1567308215 hasRelatedWork W2005599008 @default.
- W1567308215 hasRelatedWork W2139551184 @default.
- W1567308215 hasRelatedWork W2144928878 @default.
- W1567308215 hasRelatedWork W2400715714 @default.
- W1567308215 hasRelatedWork W261044226 @default.
- W1567308215 hasRelatedWork W3046591311 @default.
- W1567308215 hasRelatedWork W4309876504 @default.
- W1567308215 isParatext "false" @default.
- W1567308215 isRetracted "false" @default.
- W1567308215 magId "1567308215" @default.
- W1567308215 workType "book-chapter" @default.