Login / Signup
A Verified Decision Procedure for Pseudo-Boolean Formulas.
Tobias Philipp
Anna Tigunova
Published in:
PlanSIG (2016)
Keyphrases
</>
boolean formula
decision makers
np complete
decision rules
decision problems
lower bound
satisfiability problem
membership queries
boolean variables