Anh-Dung Phan, Nikolaj Bjørner, David Monniaux. Anatomy of Alternating Quantifier Satisfiability (Work in progress). In Pascal Fontaine, Amit Goel, editors, 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012. Volume 20 of EPiC Series, pages 120-130, EasyChair, 2012. [doi]
Abstract is missing.