Connect to this wiki page as a companion for the synthesis lecture Optimization and Mathematical Modeling in Computer Architecture, which explores using Mixed Integer Linear Programming (MILP) to solve challenging problems in the field. The book gives in depth case studies of four optimization problems in computer architecture. This companion page provides a brief overview and live demo of the MILP formulation in all four case studies. We also provide a downloadable source package.