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

by L Zhang, C Madigan, M Moskewicz, S Malik
Venue:In IEEE/ACM International Conference on Computer-Aided Design