,
Constraint Programming Letters
Stochastics

Dieker, A.B, 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.