@article{TruchetARC16,
  author       = {Charlotte Truchet and
                  Alejandro Arbelaez and
                  Florian Richoux and
                  Philippe Codognet},
  title        = {Estimating parallel runtimes for randomized algorithms in constraint
                  solving},
  journal      = {J. Heuristics},
  volume       = {22},
  number       = {4},
  pages        = {613--648},
  year         = {2016}
}