Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal. Recording and Minimizing Nogoods from Restarts. JSAT, 1(3-4):147-167, 2007. [doi]
@article{LecoutreSTV07:0,
title = {Recording and Minimizing Nogoods from Restarts},
author = {Christophe Lecoutre and Lakhdar Sais and Sébastien Tabary and Vincent Vidal},
year = {2007},
url = {http://jsat.ewi.tudelft.nl/content/volume1/JSAT1_8_Lecoutre.pdf},
researchr = {https://researchr.org/publication/LecoutreSTV07%3A0},
cites = {0},
citedby = {0},
journal = {JSAT},
volume = {1},
number = {3-4},
pages = {147-167},
}