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

Viktor Schuppan

Published in: Int. J. Artif. Intell. Tools (2020)

Keyphrases

unsatisfiable cores
boolean formula
boolean satisfiability
max sat
quantified boolean formulas
first order logic
hidden structure
computational complexity
practical problems
search algorithm
membership queries
probabilistic planning
conjunctive normal form