Matches in SemOpenAlex for { <https://semopenalex.org/work/W2734351583> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2734351583 endingPage "494" @default.
- W2734351583 startingPage "475" @default.
- W2734351583 abstract "A quantified Boolean formula (QBF) is a propositional formula extended with universal and existential quantification over propositions. There are two methodologies in CEGAR based QBF solving techniques, one that is based on a refinement loop that builds partial expansions and a more recent one that is based on the communication of satisfied clauses. Despite their algorithmic similarity, their performance characteristics in experimental evaluations are very different and in many cases orthogonal. We compare those CEGAR approaches using proof theory developed around QBF solving and present a unified calculus that combines the strength of both approaches. Lastly, we implement the new calculus and confirm experimentally that the theoretical improvements lead to improved performance." @default.
- W2734351583 created "2017-07-21" @default.
- W2734351583 creator A5012221975 @default.
- W2734351583 date "2017-01-01" @default.
- W2734351583 modified "2023-09-30" @default.
- W2734351583 title "On Expansion and Resolution in CEGAR Based QBF Solving" @default.
- W2734351583 cites W1518705996 @default.
- W2734351583 cites W1525848078 @default.
- W2734351583 cites W1562832747 @default.
- W2734351583 cites W1605798759 @default.
- W2734351583 cites W1851471023 @default.
- W2734351583 cites W1922664086 @default.
- W2734351583 cites W1976876676 @default.
- W2734351583 cites W2005573219 @default.
- W2734351583 cites W2039236516 @default.
- W2734351583 cites W2051846104 @default.
- W2734351583 cites W2061541001 @default.
- W2734351583 cites W2186016250 @default.
- W2734351583 cites W2214514062 @default.
- W2734351583 cites W2233304325 @default.
- W2734351583 cites W2295266152 @default.
- W2734351583 cites W2404220671 @default.
- W2734351583 cites W2493091936 @default.
- W2734351583 cites W2494237651 @default.
- W2734351583 cites W2600686309 @default.
- W2734351583 cites W2953191059 @default.
- W2734351583 cites W3102833318 @default.
- W2734351583 cites W99602494 @default.
- W2734351583 doi "https://doi.org/10.1007/978-3-319-63390-9_25" @default.
- W2734351583 hasPublicationYear "2017" @default.
- W2734351583 type Work @default.
- W2734351583 sameAs 2734351583 @default.
- W2734351583 citedByCount "17" @default.
- W2734351583 countsByYear W27343515832018 @default.
- W2734351583 countsByYear W27343515832019 @default.
- W2734351583 countsByYear W27343515832020 @default.
- W2734351583 countsByYear W27343515832021 @default.
- W2734351583 countsByYear W27343515832023 @default.
- W2734351583 crossrefType "book-chapter" @default.
- W2734351583 hasAuthorship W2734351583A5012221975 @default.
- W2734351583 hasBestOaLocation W27343515832 @default.
- W2734351583 hasConcept C102993220 @default.
- W2734351583 hasConcept C11413529 @default.
- W2734351583 hasConcept C138268822 @default.
- W2734351583 hasConcept C14523651 @default.
- W2734351583 hasConcept C154945302 @default.
- W2734351583 hasConcept C195818886 @default.
- W2734351583 hasConcept C199343813 @default.
- W2734351583 hasConcept C199360897 @default.
- W2734351583 hasConcept C2777686260 @default.
- W2734351583 hasConcept C33203268 @default.
- W2734351583 hasConcept C41008148 @default.
- W2734351583 hasConcept C69562738 @default.
- W2734351583 hasConcept C71924100 @default.
- W2734351583 hasConcept C74640108 @default.
- W2734351583 hasConcept C80444323 @default.
- W2734351583 hasConceptScore W2734351583C102993220 @default.
- W2734351583 hasConceptScore W2734351583C11413529 @default.
- W2734351583 hasConceptScore W2734351583C138268822 @default.
- W2734351583 hasConceptScore W2734351583C14523651 @default.
- W2734351583 hasConceptScore W2734351583C154945302 @default.
- W2734351583 hasConceptScore W2734351583C195818886 @default.
- W2734351583 hasConceptScore W2734351583C199343813 @default.
- W2734351583 hasConceptScore W2734351583C199360897 @default.
- W2734351583 hasConceptScore W2734351583C2777686260 @default.
- W2734351583 hasConceptScore W2734351583C33203268 @default.
- W2734351583 hasConceptScore W2734351583C41008148 @default.
- W2734351583 hasConceptScore W2734351583C69562738 @default.
- W2734351583 hasConceptScore W2734351583C71924100 @default.
- W2734351583 hasConceptScore W2734351583C74640108 @default.
- W2734351583 hasConceptScore W2734351583C80444323 @default.
- W2734351583 hasLocation W27343515831 @default.
- W2734351583 hasLocation W27343515832 @default.
- W2734351583 hasOpenAccess W2734351583 @default.
- W2734351583 hasPrimaryLocation W27343515831 @default.
- W2734351583 hasRelatedWork W1492881020 @default.
- W2734351583 hasRelatedWork W2168993471 @default.
- W2734351583 hasRelatedWork W2270830817 @default.
- W2734351583 hasRelatedWork W2295281088 @default.
- W2734351583 hasRelatedWork W2552077341 @default.
- W2734351583 hasRelatedWork W4298206169 @default.
- W2734351583 hasRelatedWork W4386544825 @default.
- W2734351583 hasRelatedWork W80801749 @default.
- W2734351583 hasRelatedWork W98855598 @default.
- W2734351583 hasRelatedWork W2998668563 @default.
- W2734351583 isParatext "false" @default.
- W2734351583 isRetracted "false" @default.
- W2734351583 magId "2734351583" @default.
- W2734351583 workType "book-chapter" @default.