Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs.

Yannet Interian, Gabriel Corvera, Bart Selman, Ryan Williams

Browse the full ISAIM paper archive.