Validating the result of a Quantified Boolean Formula (QBF) solver: theory and practice.

Yinlei Yu, Sharad Malik

Browse the full ASPDAC paper archive.