@article{ArbelaezTC13,
  author       = {Alejandro Arbelaez and
                  Charlotte Truchet and
                  Philippe Codognet},
  title        = {Using sequential runtime distributions for the parallel speedup prediction
                  of {SAT} local search},
  journal      = {Theory Pract. Log. Program.},
  volume       = {13},
  number       = {4-5},
  pages        = {625--639},
  year         = {2013}
}