@InProceedings{LST+-06-4,
title = {Nogood recording from restarts},
booktitle = {Proceedings of the International Workshop on the Integration of SAT and CP techniques held with CP'2006(Wks-SATCP'06)},
editor = {Lucas Bordeaux and Youssef Hamadi},
pages = {97-111},
author = {Vidal, Vincent},
OPT_auteurs_membres = {Vidal, Vincent},
year = {2006},
address = {Nantes, France},
}