66.07Advanced / Expert5 topics
SAT and constraint solving
Part of Chapter 66: Advanced Combinatorial and Search Algorithms.
Outline only
The topics below come from the curriculum. Their written explanations and animations have not been published yet.
66.07.1
CNF
Explanation coming soon.
66.07.2
DPLL overview
Explanation coming soon.
66.07.3
Unit propagation
Explanation coming soon.
66.07.4
Backtracking search
Explanation coming soon.
66.07.5
CDCL overview
Explanation coming soon.