Divide-and-Conquer, Greedy Algorithm, matroids, backtracking,
Branch-and-Bound, Stochastic Local Search, complexity classes, NP-complete,
NP, P, logic algorithms, Binary Decision Diagrams, probabilistic algorithm,
lower bounds, upper bounds, probabilistic analysis.