| Connection
to knowledge-based agents |
|
|
|
|
|
|
|
| ¡ | CSP can be
formulated as logic |
|||||
| problems and
vice versa |
||||||
| ¡ | CSP search as
model checking |
|||||
| ¡ | Local search:
WalkSAT with min- |
|||||
| conflict
heuristic |
||||||
