16.412J | Spring 2016 | Graduate

Cognitive Robotics

Readings

Cognitive Robotics: Propositional Satisfiability: Unit Propagation and DPLL

Description:

This resource contains information regarding cognitive robotics: Propositional satisfiability: unit propagation and DPLL.

Resource Type:
Readings
pdf
514 kB
Cognitive Robotics: Propositional Satisfiability: Unit Propagation and DPLL
Download File
DOWNLOAD

Course Info

Departments
As Taught In
Spring 2016
Level
Graduate
Topics
Learning Resource Types
Lecture Videos
Programming Assignments
Lecture Notes
Instructor Insights
Download Course
MIT Open Learning
Over 2,500 courses & materials
Freely sharing knowledge with learners and educators around the world. Learn more
© 2001–2024 Massachusetts Institute of Technology
Accessibility
Creative Commons License
Terms and Conditions
Proud member of:
© 2001–2024 Massachusetts Institute of Technology