Login / Signup
Efficient Conflict Driven Learning in Boolean Satisfiability Solver.
Lintao Zhang
Conor F. Madigan
Matthew W. Moskewicz
Sharad Malik
Published in:
ICCAD (2001)
Keyphrases
</>
driven learning
boolean satisfiability
sat solving
integer linear programming
symmetry breaking