Yannet Interian, Gabriel Corvera, Bart Selman, Ryan Williams. Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs. In International Symposium on Artificial Intelligence and Mathematics (ISAIM 2006), Fort Lauderdale, Florida, USA, January 4-6, 2006. 2006. [doi]
Abstract is missing.