"A Certified Constraint Solver over Finite Domains."

Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics