Lecture 7 Constraint Satisfaction Problems

10/17/01


Click here to start


Table of Contents

Lecture 7 Constraint Satisfaction Problems

But first…

Roadmap

Map Coloring

CSP

Variations

Exploiting CSP Structure

Running Example: 4 Queens

Running Example: 4 Queens

Constraint Checking

Forward Checking

Arc Consistency

Huffman-Clowes Labeling

Waltz’s Filtering: Arc-Consistency

No labeling!

Path Consistency

Variable and Value Selection

Variable and Value Selection

N-queens Demo

Inference in CSP’s: So Far…

Coming Up

Author: Henry Kautz

Email: kautz@cs.washington.edu

Home Page: www.cs.washington.edu/homes/kautz

Download presentation source