Skolem Function Continuation for Quantified Boolean Formulas.

Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere

Browse the full TAP paper archive.