Yannet Interian Gabriel Corvera Bart Selman Ryan Williams 0001 Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs. 2006 AI&M http://anytime.cs.umass.edu/aimath06/proceedings/P51.pdf conf/isaim/2006 db/conf/isaim/isaim2006.html#InterianCSW06