# AI:Constraint Satisfaction

- Institution: IIT Madras
- Department: Computer Science and Engineering
- Teacher: Prof. Deepak Khemani
- Level: Undergraduate
- Language: English
- Subjects: Computer science, Engineering
- Source: [NPTEL](https://nptel.ac.in/courses/106106158)
- Licence: [CC BY-NC-SA](https://nptel.ac.in/faq) (Non-commercial use only.)
- Syllabus: [at the source](https://nptel.ac.in/courses/106106158)
- Who can watch: Tweens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words)

## Lectures

1. [Constraint Satisfaction Problems](https://invisiblenetwork.ai/learn/nptel/106106158/aa29442ab495) (Video)
2. [CSP Examples: Map colouring, N-Queens, Classroom scheduling](https://invisiblenetwork.ai/learn/nptel/106106158/b836091afbcf) (Video)
3. [CSP Examples: Huffman-Clowes Labelling, Waltz Algorithm, Crosswords](https://invisiblenetwork.ai/learn/nptel/106106158/799e903ed77c) (Video)
4. [Model Based Diagnosis - An application of CSP](https://invisiblenetwork.ai/learn/nptel/106106158/f8d3402b7952) (Video)
5. [Constraint Networks - An Introduction](https://invisiblenetwork.ai/learn/nptel/106106158/8cc8b868fccc) (Video)
6. [Binary Constraint Networks (BCN), Equivalent Networks](https://invisiblenetwork.ai/learn/nptel/106106158/9f0e532efc74) (Video)
7. [Projection Networks](https://invisiblenetwork.ai/learn/nptel/106106158/a3a419451bab) (Video)
8. [Constraint Propagation](https://invisiblenetwork.ai/learn/nptel/106106158/c111bde10000) (Video)
9. [Algorithms AC1 and AC3](https://invisiblenetwork.ai/learn/nptel/106106158/a63a1e123906) (Video)
10. [Can we do better than AC3?](https://invisiblenetwork.ai/learn/nptel/106106158/5ee090be3154) (Video)
11. [Algorithm AC4](https://invisiblenetwork.ai/learn/nptel/106106158/0dcf5862a84c) (Video)
12. [Generalized AC, Path-Consistency](https://invisiblenetwork.ai/learn/nptel/106106158/ac718a15f29e) (Video)
13. [i-Consistency, Algorithm PC1](https://invisiblenetwork.ai/learn/nptel/106106158/095377d8066b) (Video)
14. [Algorithm PC2, Strong i-Consistency](https://invisiblenetwork.ai/learn/nptel/106106158/d38257eeb60b) (Video)
15. [Directional Consistency and Graph Ordering](https://invisiblenetwork.ai/learn/nptel/106106158/d7fa5cb563e0) (Video)
16. [Min-Width and Min-Induced-Width Ordering](https://invisiblenetwork.ai/learn/nptel/106106158/d0356789f9c4) (Video)
17. [Directional Arc-Consistency and Tree CSPs](https://invisiblenetwork.ai/learn/nptel/106106158/976746ccf58f) (Video)
18. [Directional Path-Consistency and Directional i-Consistency](https://invisiblenetwork.ai/learn/nptel/106106158/634804ddce2c) (Video)
19. [Backtrack-Free search and Adaptive Consistency](https://invisiblenetwork.ai/learn/nptel/106106158/700ecd8a84f8) (Video)
20. [Adaptive Consistency: Bucket Elimination](https://invisiblenetwork.ai/learn/nptel/106106158/6910deae5b57) (Video)
21. [Search Methods for Solving CSPs](https://invisiblenetwork.ai/learn/nptel/106106158/e7aa465aa270) (Video)
22. [Algorithm Backtracking](https://invisiblenetwork.ai/learn/nptel/106106158/ead498fb6280) (Video)
23. [Look-Ahead Methods in Search](https://invisiblenetwork.ai/learn/nptel/106106158/f9ad4dcecf83) (Video)
24. [Look-Ahead Search: Examples](https://invisiblenetwork.ai/learn/nptel/106106158/447470f7780e) (Video)
25. [Combining Search with Reasoning: Algorithm DPLL](https://invisiblenetwork.ai/learn/nptel/106106158/d47d549f4110) (Video)
26. [Algorithm Backmarking](https://invisiblenetwork.ai/learn/nptel/106106158/67abe268ec84) (Video)
27. [Dynamic Value Ordering, Dynamic Variable Ordering](https://invisiblenetwork.ai/learn/nptel/106106158/d384f76cffab) (Video)
28. [Look-Back Methods - Definitions](https://invisiblenetwork.ai/learn/nptel/106106158/6dcfad863d97) (Video)
29. [Gaschnig’s Backjumping: The Culprit Variable](https://invisiblenetwork.ai/learn/nptel/106106158/a44e907e0a58) (Video)
30. [Gaschnig’s Backjumping, Graph-Based Backjumping](https://invisiblenetwork.ai/learn/nptel/106106158/11385e815220) (Video)
31. [Graph-Based Backjumping: Internal and Relevant Dead-Ends](https://invisiblenetwork.ai/learn/nptel/106106158/515242dbd8e6) (Video)
32. [Conflict-Directed Backjumping: Definitions](https://invisiblenetwork.ai/learn/nptel/106106158/6acf5470c06e) (Video)
33. [Algorithm Conflict-Directed Backjumping](https://invisiblenetwork.ai/learn/nptel/106106158/04a31925a4db) (Video)
34. [Combining Look-Ahead and Look-Back: FC-CBJ](https://invisiblenetwork.ai/learn/nptel/106106158/46d0438fcd7e) (Video)
35. [Learning During Search](https://invisiblenetwork.ai/learn/nptel/106106158/60f098c7ca29) (Video)
36. [Model Based Systems](https://invisiblenetwork.ai/learn/nptel/106106158/43ea60b02d98) (Video)
37. [Model Based Diagnosis](https://invisiblenetwork.ai/learn/nptel/106106158/df94d44f725f) (Video)
38. [Truth Maintenance Systems](https://invisiblenetwork.ai/learn/nptel/106106158/f6202c351d8e) (Video)
39. [Planning as Constraint Satisfaction](https://invisiblenetwork.ai/learn/nptel/106106158/327edc26f1fb) (Video)
40. [Planning as Constraint Satisfaction (cont.)](https://invisiblenetwork.ai/learn/nptel/106106158/7d42e705b84f) (Video)
41. [Planning as Satisfiability](https://invisiblenetwork.ai/learn/nptel/106106158/d4da0779e28e) (Video)
42. [Wrapping Up and Further Study](https://invisiblenetwork.ai/learn/nptel/106106158/543e72a5349d) (Video)