Matches in SemOpenAlex for { <https://semopenalex.org/work/W38499500> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W38499500 endingPage "281" @default.
- W38499500 startingPage "275" @default.
- W38499500 abstract "In recent years we have seen significant progress in the area of Boolean satisfiability (SAT) solving and its applications. As a new challenge, the community is now moving to investigate whether similar advances can be made in the use of Quantified Boolean Formulas (QBF). QBF provides a natural framework for capturing problem solving and planning in multi-agent settings. However, contrarily to single-agent planning, which can be effectively formulated as SAT, we show that a QBF approach to planning in a multi-agent setting leads to significant unexpected computational difficulties. We identify as a key difficulty of the QBF approach the fact that QBF solvers often end up exploring a much larger search space than the natural search space of the original problem. This is in contrast to the experience with SAT approaches. We also show how one can alleviate these problems by introducing two special QBF formulations and a new QBF solution strategy. We present experiments that show the effectiveness of our approach in terms of a significant improvement in performance compared to earlier work in this area. Our work also provides a general methodology for formulating adversarial scenarios in QBF." @default.
- W38499500 created "2016-06-24" @default.
- W38499500 creator A5039752849 @default.
- W38499500 creator A5069030030 @default.
- W38499500 creator A5084928583 @default.
- W38499500 date "2005-07-09" @default.
- W38499500 modified "2023-09-24" @default.
- W38499500 title "The achilles' heel of QBF" @default.
- W38499500 cites W1483683741 @default.
- W38499500 cites W1496518193 @default.
- W38499500 cites W1513176853 @default.
- W38499500 cites W1541525032 @default.
- W38499500 cites W1553278548 @default.
- W38499500 cites W1553565837 @default.
- W38499500 cites W1667362966 @default.
- W38499500 cites W1862403209 @default.
- W38499500 cites W1916519491 @default.
- W38499500 cites W1976876676 @default.
- W38499500 cites W2076137686 @default.
- W38499500 cites W45436251 @default.
- W38499500 cites W142476248 @default.
- W38499500 cites W1797082784 @default.
- W38499500 cites W183433171 @default.
- W38499500 cites W2611507584 @default.
- W38499500 hasPublicationYear "2005" @default.
- W38499500 type Work @default.
- W38499500 sameAs 38499500 @default.
- W38499500 citedByCount "34" @default.
- W38499500 countsByYear W384995002012 @default.
- W38499500 countsByYear W384995002013 @default.
- W38499500 countsByYear W384995002014 @default.
- W38499500 countsByYear W384995002015 @default.
- W38499500 countsByYear W384995002016 @default.
- W38499500 countsByYear W384995002017 @default.
- W38499500 countsByYear W384995002018 @default.
- W38499500 countsByYear W384995002019 @default.
- W38499500 countsByYear W384995002020 @default.
- W38499500 crossrefType "proceedings-article" @default.
- W38499500 hasAuthorship W38499500A5039752849 @default.
- W38499500 hasAuthorship W38499500A5069030030 @default.
- W38499500 hasAuthorship W38499500A5084928583 @default.
- W38499500 hasConcept C111919701 @default.
- W38499500 hasConcept C11413529 @default.
- W38499500 hasConcept C126255220 @default.
- W38499500 hasConcept C168773769 @default.
- W38499500 hasConcept C200415742 @default.
- W38499500 hasConcept C26517878 @default.
- W38499500 hasConcept C2778572836 @default.
- W38499500 hasConcept C33923547 @default.
- W38499500 hasConcept C38652104 @default.
- W38499500 hasConcept C41008148 @default.
- W38499500 hasConcept C6943359 @default.
- W38499500 hasConceptScore W38499500C111919701 @default.
- W38499500 hasConceptScore W38499500C11413529 @default.
- W38499500 hasConceptScore W38499500C126255220 @default.
- W38499500 hasConceptScore W38499500C168773769 @default.
- W38499500 hasConceptScore W38499500C200415742 @default.
- W38499500 hasConceptScore W38499500C26517878 @default.
- W38499500 hasConceptScore W38499500C2778572836 @default.
- W38499500 hasConceptScore W38499500C33923547 @default.
- W38499500 hasConceptScore W38499500C38652104 @default.
- W38499500 hasConceptScore W38499500C41008148 @default.
- W38499500 hasConceptScore W38499500C6943359 @default.
- W38499500 hasLocation W384995001 @default.
- W38499500 hasOpenAccess W38499500 @default.
- W38499500 hasPrimaryLocation W384995001 @default.
- W38499500 hasRelatedWork W119782953 @default.
- W38499500 hasRelatedWork W129935311 @default.
- W38499500 hasRelatedWork W138251527 @default.
- W38499500 hasRelatedWork W1482661140 @default.
- W38499500 hasRelatedWork W1496518193 @default.
- W38499500 hasRelatedWork W153481334 @default.
- W38499500 hasRelatedWork W1544998733 @default.
- W38499500 hasRelatedWork W1553278548 @default.
- W38499500 hasRelatedWork W1553565837 @default.
- W38499500 hasRelatedWork W1562832747 @default.
- W38499500 hasRelatedWork W1787074469 @default.
- W38499500 hasRelatedWork W1916519491 @default.
- W38499500 hasRelatedWork W1976876676 @default.
- W38499500 hasRelatedWork W1998084650 @default.
- W38499500 hasRelatedWork W1999997889 @default.
- W38499500 hasRelatedWork W2005573219 @default.
- W38499500 hasRelatedWork W2052175425 @default.
- W38499500 hasRelatedWork W2057361103 @default.
- W38499500 hasRelatedWork W2133527541 @default.
- W38499500 hasRelatedWork W3098378096 @default.
- W38499500 isParatext "false" @default.
- W38499500 isRetracted "false" @default.
- W38499500 magId "38499500" @default.
- W38499500 workType "article" @default.