Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data

Open in new window