F.: Backjump-based techniques versus conflict-directed heuristics (2004)

by C Lecoutre, F Boussemart, Hemery
Venue:In: Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence