Lecture Notes
MIT16_410F10_lec11b.pdf
Description:
This resource contains information related to encoding planning problems as proposional logic sasfiability.
Resource Type:
Lecture Notes
pdf
350 kB
MIT16_410F10_lec11b.pdf
Course Info
Instructors
Departments
As Taught In
Fall
2010
Level
Topics
Learning Resource Types
assignment
Problem Sets
grading
Exams
notes
Lecture Notes
assignment
Design Assignments
assignment_turned_in
Programming Assignments with Examples