Login / Signup
A comparison of three heuristics to choose the variable ordering for CAD.
Zongyan Huang
Matthew England
David J. Wilson
James H. Davenport
Lawrence C. Paulson
Published in:
CoRR (2014)
Keyphrases
</>
variable ordering
branch and bound algorithm
conflict directed
forward checking
propositional satisfiability
lower bound
max sat
knowledge base
np hard
heuristic search
branch and bound
randomly generated