CSE 5692 Constraint Reasoning

Credit Hours: 3

Covers foundations of constraint satisfaction and constraint-based reasoning; problem representation and characterization; consistency checking, heuristics and search; deterministic and stochastic solving methods; and applications such as scheduling, timetabling and temporal reasoning.
Background knowledge equivalent to CSE 5211 Analysis of Algorithms and CSE 5290 Artificial Intelligence.