Theoretical foundation of every solver and algorithm. Best for: Advanced users, researchers, and quality assurance. Key topics: