Explores the Decision Theory Framework in Statistical Theory, viewing statistics as a random game with key concepts like admissibility, minimax rules, and Bayes rules.
Explores the Boolean Satisfiability Problem and the Davis-Putnam-Logemann-Loveland algorithm, along with modern SAT solvers and efficient solving techniques.