Lecture Notes
Designing a SAT Solver, Part 2
Description:
Lecture presentation on basic datatype patterns, a naive solver with backtracking search, and design improvements with facade, option types, and a 3-valued logic.
Resource Type:
Lecture Notes
pdf
328 kB
Designing a SAT Solver, Part 2
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
