Recording and Minimizing Nogoods from Restarts

Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal. Recording and Minimizing Nogoods from Restarts. JSAT, 1(3-4):147-167, 2007. [doi]

Abstract

Abstract is missing.