Efficient Conflict Driven Learning in a Boolean Satisfiability Solver (2001)

by Lintao Zhang , Conor F. Madigan , Matthew H. Moskewicz
Venue:In ICCAD
Citations:288 - 8 self