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]
Abstract is missing.