Efficient conflict driven learning in a Boolean satisfiability solver (2001)

by Lintao Zhang, Conor F Madigan, Matthew H Moskewicz, Sharad Malik
Venue:In ICCAD: International Conference on Computer Aided Design