Matches in SemOpenAlex for { <https://semopenalex.org/work/W1871270642> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1871270642 abstract "Solving Quantified Boolean Formulas (QBF) has become an important and attractive research area, since several problem classes might be formulated efficiently as QBF instances (e.g. planning, non monotonic reasoning, two-player games, model checking, etc). Many QBF solvers has been proposed, most of them perform decision tree search using the DPLL-like techniques. To set free the variable ordering heuristics that are traditionally constrained by the static order of the QBF quantifiers, a new symbolic search based approach (QBdd(Sat)) is proposed. It makes an original use of binary decision diagram to represent the set of models (or prime implicants) of the boolean formula found using search-based satisfiability solver. Our approach is enhanced with two interesting extensions. First, powerful reduction operators are introduced in order to dynamically reduce the BDD size and to answer the validity of the QBF. Second, useful cuts are achieved on the search tree thanks to the nogoods generated from the BDD representation. Using DPLL-likes (resp. local search) techniques, our approach gives rise to a complete QBdd(DPLL) (resp. incomplete QBdd(LS)) solver. Our preliminary experimental results show that on some classes of instances from the QBF evaluation, QBdd(DPLL) and QBdd(LS) are competitive with state-of-the-art QBF solvers." @default.
- W1871270642 created "2016-06-24" @default.
- W1871270642 creator A5037137798 @default.
- W1871270642 creator A5063062178 @default.
- W1871270642 date "2005-01-01" @default.
- W1871270642 modified "2023-09-30" @default.
- W1871270642 title "A Symbolic Search Based Approach for Quantified Boolean Formulas" @default.
- W1871270642 cites W1496518193 @default.
- W1871270642 cites W1514067536 @default.
- W1871270642 cites W1518705996 @default.
- W1871270642 cites W1520210297 @default.
- W1871270642 cites W1553278548 @default.
- W1871270642 cites W1566273688 @default.
- W1871270642 cites W1597057550 @default.
- W1871270642 cites W1836852804 @default.
- W1871270642 cites W1916519491 @default.
- W1871270642 cites W1994143452 @default.
- W1871270642 cites W2057361103 @default.
- W1871270642 cites W2080267935 @default.
- W1871270642 cites W2111416917 @default.
- W1871270642 cites W2142785340 @default.
- W1871270642 doi "https://doi.org/10.1007/11499107_2" @default.
- W1871270642 hasPublicationYear "2005" @default.
- W1871270642 type Work @default.
- W1871270642 sameAs 1871270642 @default.
- W1871270642 citedByCount "8" @default.
- W1871270642 countsByYear W18712706422013 @default.
- W1871270642 countsByYear W18712706422015 @default.
- W1871270642 countsByYear W18712706422016 @default.
- W1871270642 crossrefType "book-chapter" @default.
- W1871270642 hasAuthorship W1871270642A5037137798 @default.
- W1871270642 hasAuthorship W1871270642A5063062178 @default.
- W1871270642 hasConcept C111335779 @default.
- W1871270642 hasConcept C111919701 @default.
- W1871270642 hasConcept C11413529 @default.
- W1871270642 hasConcept C125583679 @default.
- W1871270642 hasConcept C12707504 @default.
- W1871270642 hasConcept C127705205 @default.
- W1871270642 hasConcept C134652429 @default.
- W1871270642 hasConcept C143936061 @default.
- W1871270642 hasConcept C154945302 @default.
- W1871270642 hasConcept C173801870 @default.
- W1871270642 hasConcept C177264268 @default.
- W1871270642 hasConcept C199360897 @default.
- W1871270642 hasConcept C200415742 @default.
- W1871270642 hasConcept C207024777 @default.
- W1871270642 hasConcept C2524010 @default.
- W1871270642 hasConcept C3309909 @default.
- W1871270642 hasConcept C33923547 @default.
- W1871270642 hasConcept C41008148 @default.
- W1871270642 hasConcept C6943359 @default.
- W1871270642 hasConcept C76155785 @default.
- W1871270642 hasConcept C80444323 @default.
- W1871270642 hasConceptScore W1871270642C111335779 @default.
- W1871270642 hasConceptScore W1871270642C111919701 @default.
- W1871270642 hasConceptScore W1871270642C11413529 @default.
- W1871270642 hasConceptScore W1871270642C125583679 @default.
- W1871270642 hasConceptScore W1871270642C12707504 @default.
- W1871270642 hasConceptScore W1871270642C127705205 @default.
- W1871270642 hasConceptScore W1871270642C134652429 @default.
- W1871270642 hasConceptScore W1871270642C143936061 @default.
- W1871270642 hasConceptScore W1871270642C154945302 @default.
- W1871270642 hasConceptScore W1871270642C173801870 @default.
- W1871270642 hasConceptScore W1871270642C177264268 @default.
- W1871270642 hasConceptScore W1871270642C199360897 @default.
- W1871270642 hasConceptScore W1871270642C200415742 @default.
- W1871270642 hasConceptScore W1871270642C207024777 @default.
- W1871270642 hasConceptScore W1871270642C2524010 @default.
- W1871270642 hasConceptScore W1871270642C3309909 @default.
- W1871270642 hasConceptScore W1871270642C33923547 @default.
- W1871270642 hasConceptScore W1871270642C41008148 @default.
- W1871270642 hasConceptScore W1871270642C6943359 @default.
- W1871270642 hasConceptScore W1871270642C76155785 @default.
- W1871270642 hasConceptScore W1871270642C80444323 @default.
- W1871270642 hasLocation W18712706421 @default.
- W1871270642 hasOpenAccess W1871270642 @default.
- W1871270642 hasPrimaryLocation W18712706421 @default.
- W1871270642 hasRelatedWork W2086444398 @default.
- W1871270642 hasRelatedWork W2109259936 @default.
- W1871270642 hasRelatedWork W2114952989 @default.
- W1871270642 hasRelatedWork W2126787953 @default.
- W1871270642 hasRelatedWork W2133072013 @default.
- W1871270642 hasRelatedWork W2141243770 @default.
- W1871270642 hasRelatedWork W2379749946 @default.
- W1871270642 hasRelatedWork W2406619057 @default.
- W1871270642 hasRelatedWork W93499363 @default.
- W1871270642 hasRelatedWork W2143645888 @default.
- W1871270642 isParatext "false" @default.
- W1871270642 isRetracted "false" @default.
- W1871270642 magId "1871270642" @default.
- W1871270642 workType "book-chapter" @default.