Reasoning from last conflict(s) in constraint programming

Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal. Reasoning from last conflict(s) in constraint programming. Artificial Intelligence, 173(18):1592-1614, 2009. [doi]

Abstract

Abstract is missing.