Parametric quantified SAT solving.

Thomas Sturm, Christoph Zengler

Browse the full ISSAC paper archive.