Lintao Zhang. Solving QBF by Combining Conjunctive and Disjunctive Normal Forms. In Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA. pages 143-150, AAAI Press, 2006.
Abstract is missing.