From satisfiability to consistency through certificates: application to partially defined constraints.

Arnaud Lallouet, Andrei Legtchenko

Browse the full SAC paper archive.