Recording and Minimizing Nogoods from Restarts
Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal · Journal on Satisfiability Boolean Modeling and Computation · 2007
In this paper, nogood recording is investigated for CSP within the randomization and restart framework. Our goal is to avoid the same situations to occur from one run to the next ones. More precisely, nogoods are recorded when the current cutoff valu