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]
No references recorded for this publication.
No citations of this publication recorded.