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

Arnaud Lallouet Andrei Legtchenko

Published in: SAC (2006)

Keyphrases

global constraints
constraint networks
consistency constraints
database
case study
decision support
np complete
distributed databases
consistency checking