Constraint Satisfaction
Describe a problem as variables, domains and constraints, and a general solver can attack it without knowing what it is about - provided you let it reason about the constraints instead of only guessing values.
Sign in to take quizzes, earn XP, and unlock stages as you reach 90% mastery.
Modelling a Problem as Constraints
25 min · 100 XPVariables, domains and constraints as a standard form, the constraint graph that comes with it, and the commutativity that shrinks the search space before any search happens.
Open lesson →Sign in to take the 3-question quiz.
Constraint Propagation and Arc Consistency
30 min · 120 XPShrink domains before and during search: what arc consistency means, how AC-3 enforces it, and exactly how much it can and cannot prove.
Open lesson →Sign in to take the 3-question quiz.
Backtracking Search and Its Heuristics
30 min · 120 XPDepth-first assignment with the three standard heuristics, and a measurement showing that the most famous of them does nothing on its own.
Open lesson →Sign in to take the 3-question quiz.