Nogood Recording from Restarts

8 years 7 months ago
Nogood Recording from Restarts
Abstract. 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 one. More precisely, nogoods are recorded when the current cutoff value is reached, i.e. before restarting the search algorithm. Such a set of nogoods is extracted from the last branch of the current search tree and managed using the structure of watched literals originally proposed for SAT. Interestingly, the number of nogoods recorded before each new run is bounded by the length of the last branch of the search tree. As a consequence, the total number of recorded nogoods is polynomial in the number of restarts. Experiments over a wide range of CSP instances demonstrate the effectiveness of this approach.
Christophe Lecoutre, Lakhdar Sais, Sébastie
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Authors Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Comments (0)