@inproceedings{DBLP:conf/cp/GuoHJS10,<br/>
  author    = {Long Guo and
               Youssef Hamadi and
               Said Jabbour and
               Lakhdar Sais},
  title     = {Diversification and Intensification in Parallel SAT Solving},<br/>
  booktitle = {CP},<br/>
  year      = {2010},<br/>
  pages     = {252-265},<br/>
  ee        = {http://dx.doi.org/10.1007/978-3-642-15396-9_22},<br/>
  crossref  = {DBLP:conf/cp/2010},<br/>
  bibsource = {DBLP, http://dblp.uni-trier.de}<br/>
}