Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs. - Yannet Interian; Gabriel Corvera; Bart Selman; Ryan Williams 001 (AI&M, 2006)