@inproceedings{guo-lagniez-2011b, <br/>
title = {Dynamic polarity adjustment in a parallel SAT solver},<br/>
author = {Guo, Long and Lagniez, Jean-Marie},<br/>
affiliation = {Centre de Recherche en Informatique de Lens - CRIL - CNRS : UMR 8188 - Université d'Artois},<br/>
booktitle = {23rd IEEE International Conference on Tools with Artificial Intelligence},<br/>
series = {ICTAI'11},<br/>
year = {2011},<br/>
month = Nov,<br/>
address = {Nov. 7-9, 2011, Boca Raton, Florida, USA},<br/>
}