Lecture Notes
Designing a SAT Solver, Part 1
Description:
Lecture presentation on the SAT problem and SAT solvers, a new paradigm of functions over immutable types, using datatype productions to model structured values, and patterns for implementing datatypes.
Resource Type:
Lecture Notes
pdf
199 kB
Designing a SAT Solver, Part 1
Course Info
Instructors
Departments
As Taught In
Fall
2008
Level
Learning Resource Types
assignment
Problem Sets
notes
Lecture Notes
group_work
Projects
assignment_turned_in
Programming Assignments with Examples
