Credit Hours: 3Covers 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. Recommended: Background knowledge equivalent to CSE 5211 Analysis of Algorithms and CSE 5290 Artificial Intelligence.
