next up

Constraint Network

CSPs consist of: variables, domains, constraint matrices.

\epsfig {file=/u/mlittman/papers/aaai99-solver/micro1c.ps,width=.85in}

\epsfig {file=/u/mlittman/talks/nj99-crossword/m6.ps,width=3in,angle=270}

Assign a domain value to each variable such that constraints are satisfied.

\epsfig {file=/u/mlittman/papers/aaai99-solver/micro1c.ps,width=.85in}
\epsfig {file=/u/mlittman/papers/aaai99-solver/micro2c.ps,width=.85in}
\epsfig {file=/u/mlittman/papers/aaai99-solver/micro3c.ps,width=.85in}
\epsfig {file=/u/mlittman/papers/aaai99-solver/micro4c.ps,width=.85in}