Project SherlockEst. Knowledge

Paper

1977

Consistency in Networks of Relations

Alan K. Mackworth

Defines node, arc and path consistency for constraint networks and gives the AC-3 algorithm, turning constraint propagation into a preprocessing step that shrinks search before it starts.

Before you start

FreeAdvancedlink checked 17 Sept 2026

If this is the wrong level

Too hard? Start hereMIT 6.034 Artificial IntelligencePatrick Winston (MIT OpenCourseWare), 2010The symbolic AI curriculum as it stood before deep learning displaced it — search, constraints, representation and learning — and still the clearest account of why representation is the hard part.

Filed under Classical & Symbolic AI in Artificial Intelligence.