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

by L Zhang, C F Madigan, M H Moskewicz, S Malik
Venue:in International Conference on Computer-Aided Design. IEEE