Constraint Satisfaction

• Given a constraint C, two questions

  • satisfaction: does it have a solution?
  • solution: give me a solution, if it has one?

• The first is more basic

• A constraint solver answers the satisfaction problem

Previous slide

Next slide

Back to first slide

View graphic version