Moving Definition Variables in Quantified Boolean Formulas.

Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant

Browse the full TACAS paper archive.