Efficient conflict driven learning in boolean satisfiability solver (2001)

by L Zhang, C F Madigan, M W Moskewicz, S Malik
Venue:In ICCAD-2001