Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs.

Yannet Interian Gabriel Corvera Bart Selman Ryan Williams

Published in: AI&M (2006)

Keyphrases

unsatisfiable cores
max sat
quantified boolean formulas
model checking