@InProceedings{ALM+-09-2,
title = {Integrating Conflict Driven Clause Learning to Local Search},
booktitle = {6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09)},
author = {Audemard, Gilles and Lagniez, Jean-Marie and Mazure, Bertrand and Saïs, Lakhdar},
OPT_auteurs_membres = {Audemard, Gilles and Lagniez, Jean-Marie and Mazure, Bertrand and Saïs, Lakhdar},
year = {2009},
month = {sep},
note = {dans le cadre de CP'09},
}