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
Course Info
Instructors
Departments
As Taught In
Fall
2010
Level
Learning Resource Types
assignment
Design Assignments
grading
Exams
notes
Lecture Notes
assignment
Problem Sets
assignment_turned_in
Programming Assignments with Examples