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
notes
Lecture Notes
assignment
Problem Sets
assignment_turned_in
Programming Assignments with Examples
group_work
Projects
