Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs.
['Yannet Interian', 'Gabriel Corvera', 'Bart Selman', 'Ryan Williams']
Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs.