Lecture Notes
Designing a SAT Solver, Part 3
Description:
Lecture presentation on abstract data types, representation independence, characterizing types by operations, encapsulation, examples of types used by DPLL solver, and the Factory Method pattern.
Resource Type:
Lecture Notes
pdf
214 kB
Designing a SAT Solver, Part 3
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
