Matches in SemOpenAlex for { <https://semopenalex.org/work/W4378191510> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4378191510 abstract "Modern expansion-based solvers for quantified Boolean formulas (QBFs) are successful in many applications. However, no such solver supports the generation of proofs needed to independently validate the correctness of the solving result and for the extraction of winning strategies which encode concrete solutions to the application problems.In this paper, we present a complete tool chain for proof generation, result validation, and for universal winning strategy extraction in the context of expansion-based solving. In particular, we introduce a proof format for the ∀Exp-Res calculus on which expansion-based solving is founded, implement proof generation in a recent QBF solver, provide a checker for these proofs, and develop a new strategy extraction algorithm." @default.
- W4378191510 created "2023-05-26" @default.
- W4378191510 creator A5006935127 @default.
- W4378191510 creator A5042183912 @default.
- W4378191510 creator A5051236215 @default.
- W4378191510 creator A5053520475 @default.
- W4378191510 date "2022-09-01" @default.
- W4378191510 modified "2023-09-30" @default.
- W4378191510 title "FERPModels: A Certification Framework for Expansion-Based QBF Solving" @default.
- W4378191510 cites W1503377936 @default.
- W4378191510 cites W1525848078 @default.
- W4378191510 cites W1922664086 @default.
- W4378191510 cites W2051846104 @default.
- W4378191510 cites W2070447189 @default.
- W4378191510 cites W2189084874 @default.
- W4378191510 cites W2194993457 @default.
- W4378191510 cites W2309239751 @default.
- W4378191510 cites W2404220671 @default.
- W4378191510 cites W2884846000 @default.
- W4378191510 cites W2937448176 @default.
- W4378191510 cites W2953191059 @default.
- W4378191510 cites W3006150593 @default.
- W4378191510 cites W3127382562 @default.
- W4378191510 doi "https://doi.org/10.1109/synasc57785.2022.00022" @default.
- W4378191510 hasPublicationYear "2022" @default.
- W4378191510 type Work @default.
- W4378191510 citedByCount "1" @default.
- W4378191510 countsByYear W43781915102023 @default.
- W4378191510 crossrefType "proceedings-article" @default.
- W4378191510 hasAuthorship W4378191510A5006935127 @default.
- W4378191510 hasAuthorship W4378191510A5042183912 @default.
- W4378191510 hasAuthorship W4378191510A5051236215 @default.
- W4378191510 hasAuthorship W4378191510A5053520475 @default.
- W4378191510 hasConcept C105605280 @default.
- W4378191510 hasConcept C108710211 @default.
- W4378191510 hasConcept C110251889 @default.
- W4378191510 hasConcept C11413529 @default.
- W4378191510 hasConcept C151730666 @default.
- W4378191510 hasConcept C16221470 @default.
- W4378191510 hasConcept C199343813 @default.
- W4378191510 hasConcept C199360897 @default.
- W4378191510 hasConcept C200415742 @default.
- W4378191510 hasConcept C2524010 @default.
- W4378191510 hasConcept C2777686260 @default.
- W4378191510 hasConcept C2778770139 @default.
- W4378191510 hasConcept C2779343474 @default.
- W4378191510 hasConcept C33923547 @default.
- W4378191510 hasConcept C41008148 @default.
- W4378191510 hasConcept C55439883 @default.
- W4378191510 hasConcept C71924100 @default.
- W4378191510 hasConcept C80444323 @default.
- W4378191510 hasConcept C86803240 @default.
- W4378191510 hasConceptScore W4378191510C105605280 @default.
- W4378191510 hasConceptScore W4378191510C108710211 @default.
- W4378191510 hasConceptScore W4378191510C110251889 @default.
- W4378191510 hasConceptScore W4378191510C11413529 @default.
- W4378191510 hasConceptScore W4378191510C151730666 @default.
- W4378191510 hasConceptScore W4378191510C16221470 @default.
- W4378191510 hasConceptScore W4378191510C199343813 @default.
- W4378191510 hasConceptScore W4378191510C199360897 @default.
- W4378191510 hasConceptScore W4378191510C200415742 @default.
- W4378191510 hasConceptScore W4378191510C2524010 @default.
- W4378191510 hasConceptScore W4378191510C2777686260 @default.
- W4378191510 hasConceptScore W4378191510C2778770139 @default.
- W4378191510 hasConceptScore W4378191510C2779343474 @default.
- W4378191510 hasConceptScore W4378191510C33923547 @default.
- W4378191510 hasConceptScore W4378191510C41008148 @default.
- W4378191510 hasConceptScore W4378191510C55439883 @default.
- W4378191510 hasConceptScore W4378191510C71924100 @default.
- W4378191510 hasConceptScore W4378191510C80444323 @default.
- W4378191510 hasConceptScore W4378191510C86803240 @default.
- W4378191510 hasFunder F4320321181 @default.
- W4378191510 hasLocation W43781915101 @default.
- W4378191510 hasOpenAccess W4378191510 @default.
- W4378191510 hasPrimaryLocation W43781915101 @default.
- W4378191510 hasRelatedWork W108742494 @default.
- W4378191510 hasRelatedWork W119782953 @default.
- W4378191510 hasRelatedWork W1764099364 @default.
- W4378191510 hasRelatedWork W2005599008 @default.
- W4378191510 hasRelatedWork W2116536633 @default.
- W4378191510 hasRelatedWork W2956679612 @default.
- W4378191510 hasRelatedWork W4226192590 @default.
- W4378191510 hasRelatedWork W4378191510 @default.
- W4378191510 hasRelatedWork W1245344834 @default.
- W4378191510 hasRelatedWork W2505847194 @default.
- W4378191510 isParatext "false" @default.
- W4378191510 isRetracted "false" @default.
- W4378191510 workType "article" @default.