Constraint solvers
J. du Boisberranger, D. Gardy, X. Lorca and C. Truchet.
When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent.
International Workshop ANALCO 13, New Orleans (USA), January 6, 2013.
D. Gardy, F. Lardeux, F. Saubion. A Computational Model for Logiacl Analysis of Data. ArXiV Report 2207.05664, July 2022
http://arxiv.org/abs/2207.05664