Skip to content
Kudos AI
enfrar

Constraint Propagation and Arc Consistency

Shrink domains before and during search: what arc consistency means, how AC-3 enforces it, and exactly how much it can and cannot prove.

FoundationsModule 230 min · 120 XP
Colour chips draining out of region domains as arcs are processed, one domain emptying entirely, and a queue refilling each time a neighbour shrinks.

This is a premium lesson

Sign in and enrol to read the full lesson, run the code, take the quiz, and earn XP toward the path badge.

Sign inCreate account
← Back to Constraint Satisfaction