Backjump-Based Techniques versus Conflict-Directed Heuristics.

Christophe Lecoutre, Frdric Boussemart, Fred Hemery

Browse the full ICTAI paper archive.