TY - DATA AU - Dasgupta, P. TI - Artificial Intelligence: SATPlan CY - Kharagpur PB - Indian Insitiute of Technology KW - Artificial Intelligence(Prof.P.Dasgupta) KW - Computer Science and Engineering KW - IIT Kharagpur KW - NPTEL KW - Prof. P. Dasgupta KW - SATPlan UR - http://video.snu.edu.in/index.php?id=1091&cat=Computer Science and Engineering&course=Artificial Intelligence(Prof.P.Dasgupta)&url=Phase1_Video/106105079/lec20.mp4 ER -