Login / Signup

Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers.

Viktor Schuppan
Published in: ICTAI (2018)
Keyphrases
  • unsatisfiable cores
  • boolean formula
  • boolean satisfiability
  • max sat
  • hidden structure
  • quantified boolean formulas
  • maximum satisfiability