The Achilles' Heel of QBF

  title={The Achilles' Heel of QBF},
  author={Carlos Ans{\'o}tegui and Carla P. Gomes and Bart Selman},
In recent years we have seen significant progress in the area o f 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 multiagent settings. However, contrarily to single-agent plann ing, which can be effectively formulated as SAT, we show that a QBF approach to… CONTINUE READING
Highly Cited
This paper has 69 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 44 extracted citations

The Cut Tool for QCSP

2014 IEEE 26th International Conference on Tools with Artificial Intelligence • 2014
View 10 Excerpts
Highly Influenced

An Alternative Representation for QBF

View 5 Excerpts
Highly Influenced

Hardness and Optimality in QBF Proof Systems Modulo NP

Electronic Colloquium on Computational Complexity • 2018
View 1 Excerpt

69 Citations

Citations per Year
Semantic Scholar estimates that this publication has 69 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…