Resolution Proofs and Skolem Functions in QBF Evaluation and Applications.

Valeriy Balabanov, Jie-Hong R. Jiang

Browse the full CAV paper archive.