Systematic exploration of cs from a foundational perspective.
Branch and Bound Algorithms
A guide to local inference.