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

by L Zhang, C Madigan, M Moskewicz, S Malik
Venue:in Proceedings of the International Conference on Computer-Aided Design