A Survey on Applications of Quantified Boolean Formulas.

Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl

Browse the full ICTAI paper archive.