AI:Constraint Satisfaction  

 Course Duration : Feb-Mar 2018

  View Course


 Enrollment : 20-Nov-2017 to 05-Feb-2018

 Exam Date : 28-Apr-2018, 29-Apr-2018

Course abstract

Human beings solve problems in many different ways. Problem solving in artificial intelligence (AI) is inspired from these diverse approaches. AI problem solvers may be based on search, on memory, or on knowledge representation and reasoning. An approach to problem solving is to pose problems as constraint satisfaction problems (CSP), and employ general methods to solve them. The task of a user then is only to pose a problem as a CSP, and then call an off-the-shelf solver. CSPs are amenable to combining search based methods with reasoning. In this 2 credit course we will look at general approaches to solving finite domain CSPs, and explore how search can be combined with constraint propagation to find solutions.

This course is a companion to the course “Artificial Intelligence: Search Methods for Problem Solving” that was offered recently and “Artificial Intelligence: Knowledge Representation & Reasoning” that is being offered concurrently. The lectures for both courses are available online.

Course Instructor

Media Object

Prof. Deepak Khemani

Deepak Khemani is Professor at Department of Computer Science and Engineering, IIT Madras. He completed his B.Tech. (1980) in Mechanical Engineering, and M.Tech. (1983) and PhD. (1989) in Computer Science from IIT Bombay, and has been with IIT Madras since then. In between he spent a year at Tata Research Development and Design Centre, Pune and another at the youngest IIT at Mandi. He has had shorter stays at several Computing departments in Europe. Prof Khemanis long-term goals are to build articulate problem solving systems using AI that can interact with human beings. His research interests include Memory Based Reasoning, Knowledge Representation and Reasoning, Planning and Constraint Satisfaction, Qualitative Reasoning and Natural Language Processing.

Teaching Assistant(s)

No teaching assistant data available for this course yet


Will be announced


Will be announced

Certificate Eligible

Will be announced

Certified Category Count


Will be announced


Will be announced

Successfully completed

Will be announced


Will be announced





Final Score Calculation Logic

Total Number of Entrolment :
Total Number of Registration: 53