Theory of Computation
https://uvatoc.github.io/week11
22.4 Satisfiability
- Conjunctive Normal Form
- Satisfiability Problem
- 3SAT
- Inefficient Algorithm for 3SAT
- Efficient Algorithm for 2SAT
Nathan Brunelle and David Evans
University of Virginia
