@inproceedings{guo-lagniez-2011a,
title = {Ajustement dynamique de l'heuristique de polarité dans le cadre d'un solveur SAT parallèle},
author = {Guo, Long and Lagniez, Jean-Marie},
affiliation = {Centre de Recherche en Informatique de Lens - CRIL - CNRS : UMR 8188 - Université d'Artois},
booktitle = {{Septièmes Journées Francophones de Programmation par Contraintes (JFPC11)}},
series = {JFPC11},
year = {2011},
pages = {155--161},
numpages = {8},
month = Jun,
}