Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data

Neil Yorke-Smith, Carmen Gervet

Constraint Programming (CP) has proved an effective paradigm to model and solve difficult combinatorial satisfaction and optimisation problems from disparate domains. Many such pro…