Efficient conflict driven learning in a boolean satisfiability solver. (2001)

by L Zhang, C F Madigan, M H Moskewicz, S Malik
Venue:In Proceedings of ICCAD ’01.