When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent

Jérémie Du Boisberranger, Danièle Gardy, Xavier Lorca, Charlotte Truchet. When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent. In Markus E. Nebel, Wojciech Szpankowski, editors, Proceedings of the 10th Meeting on Analytic Algorithmics and Combinatorics, ANALCO 2013, New Orleans, Louisiana, USA, January 6, 2013. pages 80-90, SIAM, 2013. [doi]

@inproceedings{BoisberrangerGLT13,
  title = {When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent},
  author = {Jérémie Du Boisberranger and Danièle Gardy and Xavier Lorca and Charlotte Truchet},
  year = {2013},
  url = {http://knowledgecenter.siam.org/0238-000007/},
  researchr = {https://researchr.org/publication/BoisberrangerGLT13},
  cites = {0},
  citedby = {0},
  pages = {80-90},
  booktitle = {Proceedings of the 10th Meeting on Analytic Algorithmics and Combinatorics, ANALCO 2013, New Orleans, Louisiana, USA, January 6, 2013},
  editor = {Markus E. Nebel and Wojciech Szpankowski},
  publisher = {SIAM},
}