An exposition on the gap between theoretical conditional lower bounds for SAT and the practical performance of SAT solvers.
- Eavan Thomas Pattie
- Introduction to SAT
- SAT Solvers
- Complexity Conjectures and Conditional Lower Bounds
- Sparsification Lemma
- Structures in SAT
Based on the CUED thesis latex template.