FRINK Linked Data Fragments server

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

• W3186139236 endingPage "63" @default.
• W3186139236 startingPage "47" @default.
• W3186139236 abstract "QCDCL is one of the main algorithmic paradigms for solving quantified Boolean formulas (QBF). We design a new technique to show lower bounds for the running time in QCDCL algorithms. For this we model QCDCL by concisely defined proof systems and identify a new width measure for formulas, which we call gauge. We show that for a large class of QBFs, large (e.g. linear) gauge implies exponential lower bounds for QCDCL proof size. We illustrate our technique by computing the gauge for a number of sample QBFs, thereby providing new exponential lower bounds for QCDCL. Our technique is the first bespoke lower bound technique for QCDCL." @default.
• W3186139236 created "2021-08-02" @default.
• W3186139236 creator A5042128349 @default.
• W3186139236 creator A5069294225 @default.
• W3186139236 date "2021-01-01" @default.
• W3186139236 modified "2023-10-06" @default.
• W3186139236 title "Lower Bounds for QCDCL via Formula Gauge" @default.
• W3186139236 cites W1976876676 @default.
• W3186139236 cites W2005573219 @default.
• W3186139236 cites W2051846104 @default.
• W3186139236 cites W2069767473 @default.
• W3186139236 cites W2070447189 @default.
• W3186139236 cites W2084384424 @default.
• W3186139236 cites W2121015471 @default.
• W3186139236 cites W2149441048 @default.
• W3186139236 cites W2171790376 @default.
• W3186139236 cites W2493091936 @default.
• W3186139236 cites W2570844665 @default.
• W3186139236 cites W2581709700 @default.
• W3186139236 cites W25993968 @default.
• W3186139236 cites W2778491775 @default.
• W3186139236 cites W2804939161 @default.
• W3186139236 cites W2937448176 @default.
• W3186139236 cites W2949458057 @default.
• W3186139236 cites W2952988220 @default.
• W3186139236 cites W2972754151 @default.
• W3186139236 cites W2997580674 @default.
• W3186139236 cites W3006150593 @default.
• W3186139236 cites W3009797996 @default.
• W3186139236 cites W3014737894 @default.
• W3186139236 cites W3032685404 @default.
• W3186139236 cites W3102833318 @default.
• W3186139236 cites W3127382562 @default.
• W3186139236 cites W4211118908 @default.
• W3186139236 cites W54881092 @default.
• W3186139236 doi "https://doi.org/10.1007/978-3-030-80223-3_5" @default.
• W3186139236 hasPublicationYear "2021" @default.
• W3186139236 type Work @default.
• W3186139236 sameAs 3186139236 @default.
• W3186139236 citedByCount "2" @default.
• W3186139236 countsByYear W31861392362022 @default.
• W3186139236 crossrefType "book-chapter" @default.
• W3186139236 hasAuthorship W3186139236A5042128349 @default.
• W3186139236 hasAuthorship W3186139236A5069294225 @default.
• W3186139236 hasBestOaLocation W31861392362 @default.
• W3186139236 hasConcept C11413529 @default.
• W3186139236 hasConcept C118615104 @default.
• W3186139236 hasConcept C124101348 @default.
• W3186139236 hasConcept C134306372 @default.
• W3186139236 hasConcept C151376022 @default.
• W3186139236 hasConcept C154945302 @default.
• W3186139236 hasConcept C166957645 @default.
• W3186139236 hasConcept C17744445 @default.
• W3186139236 hasConcept C199539241 @default.
• W3186139236 hasConcept C2777212361 @default.
• W3186139236 hasConcept C2780009758 @default.
• W3186139236 hasConcept C28826006 @default.
• W3186139236 hasConcept C33923547 @default.
• W3186139236 hasConcept C40976572 @default.
• W3186139236 hasConcept C41008148 @default.
• W3186139236 hasConcept C44210515 @default.
• W3186139236 hasConcept C77553402 @default.
• W3186139236 hasConcept C80444323 @default.
• W3186139236 hasConcept C95457728 @default.
• W3186139236 hasConceptScore W3186139236C11413529 @default.
• W3186139236 hasConceptScore W3186139236C118615104 @default.
• W3186139236 hasConceptScore W3186139236C124101348 @default.
• W3186139236 hasConceptScore W3186139236C134306372 @default.
• W3186139236 hasConceptScore W3186139236C151376022 @default.
• W3186139236 hasConceptScore W3186139236C154945302 @default.
• W3186139236 hasConceptScore W3186139236C166957645 @default.
• W3186139236 hasConceptScore W3186139236C17744445 @default.
• W3186139236 hasConceptScore W3186139236C199539241 @default.
• W3186139236 hasConceptScore W3186139236C2777212361 @default.
• W3186139236 hasConceptScore W3186139236C2780009758 @default.
• W3186139236 hasConceptScore W3186139236C28826006 @default.
• W3186139236 hasConceptScore W3186139236C33923547 @default.
• W3186139236 hasConceptScore W3186139236C40976572 @default.
• W3186139236 hasConceptScore W3186139236C41008148 @default.
• W3186139236 hasConceptScore W3186139236C44210515 @default.
• W3186139236 hasConceptScore W3186139236C77553402 @default.
• W3186139236 hasConceptScore W3186139236C80444323 @default.
• W3186139236 hasConceptScore W3186139236C95457728 @default.
• W3186139236 hasLocation W31861392361 @default.
• W3186139236 hasLocation W31861392362 @default.
• W3186139236 hasOpenAccess W3186139236 @default.
• W3186139236 hasPrimaryLocation W31861392361 @default.
• W3186139236 hasRelatedWork W2054394744 @default.
• W3186139236 hasRelatedWork W2079697056 @default.
• W3186139236 hasRelatedWork W2083193613 @default.
• W3186139236 hasRelatedWork W2283239302 @default.
• W3186139236 hasRelatedWork W2349639678 @default.
• W3186139236 hasRelatedWork W2574373534 @default.
• W3186139236 hasRelatedWork W2963873487 @default.
• W3186139236 hasRelatedWork W4221049575 @default.
• W3186139236 hasRelatedWork W4283830307 @default.
• W3186139236 hasRelatedWork W3021469612 @default.
• W3186139236 isParatext "false" @default.

• next