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
Learning Resource Types
Lecture Videos
Programming Assignments
Lecture Notes
Instructor Insights