Anatomy of Alternating Quantifier Satisfiability (Work in progress).

Anh-Dung Phan, Nikolaj S. Bjrner, David Monniaux

Browse the full CADE paper archive.