Login / Signup
An Extension of Deficiency and Minimal Unsatisfiability of Quantified Boolean Formulas.
Hans Kleine Büning
Xishun Zhao
Published in:
J. Satisf. Boolean Model. Comput. (2007)
Keyphrases
</>
quantified boolean formulas
reasoning tasks
decision procedures
evolutionary algorithm
propositional satisfiability