Constraint Satisfaction Exercises
Problem formulation exercises
(
Problem formulation guide
)
Model Selection
in the
The SEND-MORE-MONEY problem
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
Formulate the 8 Queens problem in Excel and solve it with Excel's Solver (
answer
)
Assignments:
Assignments 1 and 2, 2006-07
Assignments 1 and 2, 2008-09
Assignment for 2013-14:
Specification
/
spreadsheet to be used
Tests:
Exercise 2010-11:
The Stable Marriage Problem
(Answer in tutorial)
Exercise 2012-13:
Constraint Propagation, four variables
(Answer in tutorial)
Exercises 2003-04:
Problem formulation and application of algorithms and heuristics
(
Answers
)
Exercises and Answers 2002-03:
Problem formulation and application of algorithms and heuristics
Maintained by
Edward Tsang
; Last updated: 2014.02.13