Constraint Satisfaction

• The enumeration method won’t work for reals

• A smarter version will be used for finite domain constraints

• How do we solve constraints on the reals?

• ? Gauss-Jordan elimination

Previous slide

Next slide

Back to first slide

View graphic version