@InProceedings{ALM+-10-1,
title = {Boosting local search thanks to CDCL},
booktitle = { 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning(LPAR'10)},
pages = {474--488},
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 = {2010},
month = {oct},
address = {Yogyakarta, Indonesia},
}