FRINK Linked Data Fragments server

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

• W2951784580 abstract "In recent years, expansion-based techniques have been shown to be very powerful in theory and practice for solving quantified Boolean formulas (QBF), the extension of propositional formulas with existential and universal quantifiers over Boolean variables. Such approaches partially expand one type of variable (either existential or universal) and pass the obtained formula to a SAT solver for deciding the QBF. State-of-the-art expansion-based solvers process the given formula quantifier-block wise and recursively apply expansion until a solution is found. In this paper, we present a novel algorithm for expansion-based QBF solving that deals with the whole quantifier prefix at once. Hence recursive applications of the expansion principle are avoided. Experiments indicate that the performance of our simple approach is comparable with the state of the art of QBF solving, especially in combination with other solving techniques." @default.
• W2951784580 created "2019-06-27" @default.
• W2951784580 creator A5006935127 @default.
• W2951784580 creator A5040670461 @default.
• W2951784580 creator A5042183912 @default.
• W2951784580 creator A5053520475 @default.
• W2951784580 creator A5065693180 @default.
• W2951784580 creator A5084144847 @default.
• W2951784580 date "2018-07-24" @default.
• W2951784580 modified "2023-09-26" @default.
• W2951784580 title "Expansion-Based QBF Solving Without Recursion" @default.
• W2951784580 cites W147950966 @default.
• W2951784580 cites W1494899888 @default.
• W2951784580 cites W1553278548 @default.
• W2951784580 cites W1558152194 @default.
• W2951784580 cites W1561543482 @default.
• W2951784580 cites W1562832747 @default.
• W2951784580 cites W170393372 @default.
• W2951784580 cites W1922664086 @default.
• W2951784580 cites W2051846104 @default.
• W2951784580 cites W2212515300 @default.
• W2951784580 cites W2214514062 @default.
• W2951784580 cites W2254118105 @default.
• W2951784580 cites W2280623821 @default.
• W2951784580 cites W2309239751 @default.
• W2951784580 cites W2463075119 @default.
• W2951784580 cites W2574512725 @default.
• W2951784580 cites W2600514308 @default.
• W2951784580 cites W2600686309 @default.
• W2951784580 cites W2602689413 @default.
• W2951784580 cites W2742414663 @default.
• W2951784580 cites W2789224735 @default.
• W2951784580 cites W45235819 @default.
• W2951784580 cites W78552530 @default.
• W2951784580 cites W95027819 @default.
• W2951784580 cites W99602494 @default.
• W2951784580 hasPublicationYear "2018" @default.
• W2951784580 type Work @default.
• W2951784580 sameAs 2951784580 @default.
• W2951784580 citedByCount "0" @default.
• W2951784580 crossrefType "posted-content" @default.
• W2951784580 hasAuthorship W2951784580A5006935127 @default.
• W2951784580 hasAuthorship W2951784580A5040670461 @default.
• W2951784580 hasAuthorship W2951784580A5042183912 @default.
• W2951784580 hasAuthorship W2951784580A5053520475 @default.
• W2951784580 hasAuthorship W2951784580A5065693180 @default.
• W2951784580 hasAuthorship W2951784580A5084144847 @default.
• W2951784580 hasConcept C111472728 @default.
• W2951784580 hasConcept C11413529 @default.
• W2951784580 hasConcept C114614502 @default.
• W2951784580 hasConcept C136119220 @default.
• W2951784580 hasConcept C138885662 @default.
• W2951784580 hasConcept C154945302 @default.
• W2951784580 hasConcept C16221470 @default.
• W2951784580 hasConcept C168773036 @default.
• W2951784580 hasConcept C199343813 @default.
• W2951784580 hasConcept C200415742 @default.
• W2951784580 hasConcept C202444582 @default.
• W2951784580 hasConcept C2777210771 @default.
• W2951784580 hasConcept C2777686260 @default.
• W2951784580 hasConcept C2778523021 @default.
• W2951784580 hasConcept C2780586882 @default.
• W2951784580 hasConcept C28826006 @default.
• W2951784580 hasConcept C33923547 @default.
• W2951784580 hasConcept C41008148 @default.
• W2951784580 hasConcept C48103436 @default.
• W2951784580 hasConcept C6943359 @default.
• W2951784580 hasConcept C71924100 @default.
• W2951784580 hasConceptScore W2951784580C111472728 @default.
• W2951784580 hasConceptScore W2951784580C11413529 @default.
• W2951784580 hasConceptScore W2951784580C114614502 @default.
• W2951784580 hasConceptScore W2951784580C136119220 @default.
• W2951784580 hasConceptScore W2951784580C138885662 @default.
• W2951784580 hasConceptScore W2951784580C154945302 @default.
• W2951784580 hasConceptScore W2951784580C16221470 @default.
• W2951784580 hasConceptScore W2951784580C168773036 @default.
• W2951784580 hasConceptScore W2951784580C199343813 @default.
• W2951784580 hasConceptScore W2951784580C200415742 @default.
• W2951784580 hasConceptScore W2951784580C202444582 @default.
• W2951784580 hasConceptScore W2951784580C2777210771 @default.
• W2951784580 hasConceptScore W2951784580C2777686260 @default.
• W2951784580 hasConceptScore W2951784580C2778523021 @default.
• W2951784580 hasConceptScore W2951784580C2780586882 @default.
• W2951784580 hasConceptScore W2951784580C28826006 @default.
• W2951784580 hasConceptScore W2951784580C33923547 @default.
• W2951784580 hasConceptScore W2951784580C41008148 @default.
• W2951784580 hasConceptScore W2951784580C48103436 @default.
• W2951784580 hasConceptScore W2951784580C6943359 @default.
• W2951784580 hasConceptScore W2951784580C71924100 @default.
• W2951784580 hasLocation W29517845801 @default.
• W2951784580 hasOpenAccess W2951784580 @default.
• W2951784580 hasPrimaryLocation W29517845801 @default.
• W2951784580 hasRelatedWork W138251527 @default.
• W2951784580 hasRelatedWork W147950966 @default.
• W2951784580 hasRelatedWork W2036901448 @default.
• W2951784580 hasRelatedWork W2084402060 @default.
• W2951784580 hasRelatedWork W2098397367 @default.
• W2951784580 hasRelatedWork W2108530105 @default.
• W2951784580 hasRelatedWork W2127982853 @default.
• W2951784580 hasRelatedWork W2254118105 @default.

• next