The Achilles Heel of QBF

Carlos Ansótegui, Carla P. Gomes, Bart Selman. The Achilles Heel of QBF. In Manuela M. Veloso, Subbarao Kambhampati, editors, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. pages 275-281, AAAI Press / The MIT Press, 2005.

Abstract

Abstract is missing.