Efficient Conflict Driven Learning in Boolean Satisfiability Solver.

Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik

Browse the full ICCAD paper archive.