A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas.

Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus

Browse the full IJCAI paper archive.