Login / Signup

Dual Proof Generation for Quantified Boolean Formulas with a BDD-based Solver.

Randal E. BryantMarijn J. H. Heule
Published in: CADE (2021)
Keyphrases
  • quantified boolean formulas
  • decision procedures
  • theorem proving
  • reasoning tasks
  • modal logic
  • data structure
  • linear programming
  • automated reasoning
  • boolean formula
  • knowledge base