Performance of constraint solvers.

A question initially asked by Charlotte Truchet, about the possibility of applying probabilistic analysis to constraint solvers, lead us to propose a model for analyzing the effect of the constraint ALLDIFFERENT. Checking whether this constraint is satisfied can be quite costly, and we worked out a model to predict the probability that it would effectively reduce the sizes of the variable domains. We now have plans to apply this approach to other constraints.

List of publications