FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W9863921> ?p ?o ?g. }

• W9863921 endingPage "17" @default.
• W9863921 startingPage "1" @default.
• W9863921 abstract "In recent years there has been some progress in our understanding of the proof-search problem for very low-depth proof systems, e.g. proof systems that manipulate formulas of very low complexity such as clauses (i.e. resolution), DNF-formulas (i.e. R(k) systems), or polynomial inequalities (i.e. semi-algebraic proof systems). In this talk I will overview this progress. I will start with bounded-width resolution, whose specialized proof-search algorithm is as easy as uninteresting, but whose proof-search problem is unintentionally solved by certain versions of conflict-driven clause-learning algorithms with restarts. I will continue with R(k) systems, whose proof-search problem turned out to hide the complexity of certain two-player games of interest in the area of systems synthesis and verification. And I will close with bounded-degree semi-algebraic proof systems, whose proof-search problem turned out to hide the complexity of systems of linear equations over finite fields, among other problems." @default.
• W9863921 created "2016-06-24" @default.
• W9863921 creator A5003671114 @default.
• W9863921 date "2013-01-01" @default.
• W9863921 modified "2023-09-23" @default.
• W9863921 title "The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs" @default.
• W9863921 cites W1966347268 @default.
• W9863921 cites W1971499713 @default.
• W9863921 cites W1978132353 @default.
• W9863921 cites W1981949200 @default.
• W9863921 cites W1988083342 @default.
• W9863921 cites W1999069928 @default.
• W9863921 cites W2022749269 @default.
• W9863921 cites W2026128612 @default.
• W9863921 cites W2026967932 @default.
• W9863921 cites W2028932986 @default.
• W9863921 cites W2044632231 @default.
• W9863921 cites W2044722214 @default.
• W9863921 cites W2047237020 @default.
• W9863921 cites W2049645218 @default.
• W9863921 cites W2074946288 @default.
• W9863921 cites W2075906306 @default.
• W9863921 cites W2076535438 @default.
• W9863921 cites W2077397558 @default.
• W9863921 cites W2084029169 @default.
• W9863921 cites W2084384424 @default.
• W9863921 cites W2085352155 @default.
• W9863921 cites W2092984557 @default.
• W9863921 cites W2098022011 @default.
• W9863921 cites W2106264302 @default.
• W9863921 cites W2114427270 @default.
• W9863921 cites W2114817374 @default.
• W9863921 cites W2123202585 @default.
• W9863921 cites W2126362918 @default.
• W9863921 cites W2132489129 @default.
• W9863921 cites W2143451091 @default.
• W9863921 cites W2145243417 @default.
• W9863921 cites W2152390092 @default.
• W9863921 cites W2171790376 @default.
• W9863921 cites W2210840110 @default.
• W9863921 cites W2492280620 @default.
• W9863921 cites W3014805183 @default.
• W9863921 cites W3103546459 @default.
• W9863921 cites W4292230561 @default.
• W9863921 cites W4299599836 @default.
• W9863921 doi "https://doi.org/10.1007/978-3-642-39071-5_1" @default.
• W9863921 hasPublicationYear "2013" @default.
• W9863921 type Work @default.
• W9863921 sameAs 9863921 @default.
• W9863921 citedByCount "3" @default.
• W9863921 countsByYear W98639212019 @default.
• W9863921 countsByYear W98639212020 @default.
• W9863921 crossrefType "book-chapter" @default.
• W9863921 hasAuthorship W9863921A5003671114 @default.
• W9863921 hasBestOaLocation W98639212 @default.
• W9863921 hasConcept C105605280 @default.
• W9863921 hasConcept C108710211 @default.
• W9863921 hasConcept C118615104 @default.
• W9863921 hasConcept C121332964 @default.
• W9863921 hasConcept C134306372 @default.
• W9863921 hasConcept C135754263 @default.
• W9863921 hasConcept C138268822 @default.
• W9863921 hasConcept C154945302 @default.
• W9863921 hasConcept C24890656 @default.
• W9863921 hasConcept C2524010 @default.
• W9863921 hasConcept C2775997480 @default.
• W9863921 hasConcept C33923547 @default.
• W9863921 hasConcept C34388435 @default.
• W9863921 hasConcept C41008148 @default.
• W9863921 hasConcept C9376300 @default.
• W9863921 hasConceptScore W9863921C105605280 @default.
• W9863921 hasConceptScore W9863921C108710211 @default.
• W9863921 hasConceptScore W9863921C118615104 @default.
• W9863921 hasConceptScore W9863921C121332964 @default.
• W9863921 hasConceptScore W9863921C134306372 @default.
• W9863921 hasConceptScore W9863921C135754263 @default.
• W9863921 hasConceptScore W9863921C138268822 @default.
• W9863921 hasConceptScore W9863921C154945302 @default.
• W9863921 hasConceptScore W9863921C24890656 @default.
• W9863921 hasConceptScore W9863921C2524010 @default.
• W9863921 hasConceptScore W9863921C2775997480 @default.
• W9863921 hasConceptScore W9863921C33923547 @default.
• W9863921 hasConceptScore W9863921C34388435 @default.
• W9863921 hasConceptScore W9863921C41008148 @default.
• W9863921 hasConceptScore W9863921C9376300 @default.
• W9863921 hasLocation W98639211 @default.
• W9863921 hasLocation W98639212 @default.
• W9863921 hasOpenAccess W9863921 @default.
• W9863921 hasPrimaryLocation W98639211 @default.
• W9863921 hasRelatedWork W1483930584 @default.
• W9863921 hasRelatedWork W2019406792 @default.
• W9863921 hasRelatedWork W2093967439 @default.
• W9863921 hasRelatedWork W2102098509 @default.
• W9863921 hasRelatedWork W2112754349 @default.
• W9863921 hasRelatedWork W2218619901 @default.
• W9863921 hasRelatedWork W2461509449 @default.
• W9863921 hasRelatedWork W259173433 @default.
• W9863921 hasRelatedWork W3035076537 @default.

• next