@inproceedings{ArbelaezC13,
  author       = {Alejandro Arbelaez and
                  Philippe Codognet},
  title        = {From Sequential to Parallel Local Search for {SAT}},
  booktitle    = {Evolutionary Computation in Combinatorial Optimization - 13th European
                  Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7832},
  pages        = {157--168},
  publisher    = {Springer},
  year         = {2013}
}