tag:blogger.com,1999:blog-1872817975428307009.post1274934827563732660..comments2009-05-07T20:40:27.801-07:00Comments on cse471/598 Intro to AI Spring 2009 Blog: Proj4 task 2 & task 3 questionsSubbarao Kambhampatihttp://www.blogger.com/profile/08449853328445416609noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-1872817975428307009.post-85790596930592328252009-04-19T21:03:00.000-07:002009-04-19T21:03:00.000-07:00A) To do later tasks, I suggest you keep the depth...A) To do later tasks, I suggest you keep the depth check. <br /><br />B) You don't have to add "answer" to aux-theorem, just add to the part that you think can achieve the task.yunsong menghttps://www.blogger.com/profile/16680982537542842676noreply@blogger.com