Conflict analysis in search algorithms for propositional satisfiability (1996)

by João P Marques-Silva, Karem A Sakallah
Venue:In Proceedings of IEEE Conference on Tools with Artificial Intelligence