@inproceedings{ArbelaezH11,
  author       = {Alejandro Arbelaez and
                  Youssef Hamadi},
  title        = {Improving Parallel Local Search for {SAT}},
  booktitle    = {Learning and Intelligent Optimization - 5th International Conference,
                  {LION} 5, Rome, Italy, January 17-21, 2011. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6683},
  pages        = {46--60},
  publisher    = {Springer},
  year         = {2011}
}