Satisfiability

Valuation: an assignment of values to variables

Solution: valuation which satisfies constraint

Very similar to unification

Previous slide

Next slide

Back to first slide

View graphic version