Login / Signup
Solving Quantified Boolean Formulas with Circuit Observability Don't Cares.
Daijue Tang
Sharad Malik
Published in:
SAT (2006)
Keyphrases
</>
quantified boolean formulas
decision procedures
combinatorial optimization
reasoning tasks
propositional satisfiability
boolean formula