Login / Signup

Efficient Conflict Driven Learning in Boolean Satisfiability Solver.

Lintao ZhangConor F. MadiganMatthew W. MoskewiczSharad Malik
Published in: ICCAD (2001)
Keyphrases
  • driven learning
  • boolean satisfiability
  • sat solving
  • integer linear programming
  • symmetry breaking