Existential Quantification as Incremental SAT.

Jrg Brauer, Andy King, Jael Kriener

Browse the full CAV paper archive.