,
Constraint Programming Letters
Stochastics

Dieker, T., van Dongen, M., & Sapozhnikov, A. (2008). The expected value and the variance of the checks required by revision algorithms. Constraint Programming Letters, 2, 55–77.