Computational complexity theory
Conflict-driven clause learning
Drat
Exponential time hypothesis
Felgenhauer
NP-complete problems