Constraint Satisfaction Exercises
Problem formulation:
the witnesses identities problem
The SEND-MORE-MONEY problem:
Problem Formulation
and
Model Selection
Problem Reduction: Maintaining DAC and AC in the 8-Queens problem
Question
/
Answer
Lookahead search:
the 8-Queens problem
Search:
Intelligent backtracking
Problem formulation:
From CSP to SAT
(
answer
)
GSAT hill-climbing
(
answer
)
GSAT and GLS heuristic search
Assignments:
Assignments 1 and 2, 2006-07
Assignments 1 and 2, 2008-09
Tests:
Exercises 2003-04
(
Answers
)
Exercises and Answers 2002-03
Maintained by
Edward Tsang
; Last updated: 2009.01.10
Maintained by Edward Tsang;
Last updated: 2009.01.10