@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)},
publisher = {Springer},
volume = {6397},
series = {Lecture Notes in Computer Science (LNCS)},
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},
}