Satisfiability

Satisfiable: constraint has a solution

Unsatisfiable: constraint does not have a solution

satisfiable

unsatisfiable

Previous slide

Next slide

Back to first slide

View graphic version