@inproceedings{ArbelaezC12,
  author       = {Alejandro Arbelaez and
                  Philippe Codognet},
  title        = {Massively Parallel Local Search for {SAT}},
  booktitle    = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2012, Athens, Greece, November 7-9, 2012},
  pages        = {57--64},
  publisher    = {{IEEE} Computer Society},
  year         = {2012}
}