Fazekas, Katalin: Skolem Function Continuation for Quantified Boolean Formulas. . In: Tests and Proofs
Inhalt