This collection includes optimization problems that arise in computer science and computer architecture applications.

- Mathematical Modeling Case Studies in Computer Architecture

This set of case studies is 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. These companion pages provide a brief overview and interactive demo of each of the four case studies described in the book. - Supervised Machine Learning with a Support Vector Machine (
*coming soon*)

This case study provides some background on machine learning and formulates a learning problem for a support vector machine as a quadratic programming problem. It includes an applet for solving the problem and displaying the hyperplane solution. - Domino Artwork

This case study describes the optimization model that underlies the NEOS Domino solver, which constructs pictures from target images using complete sets of*double-nine dominoes*. Complete sets of double-nine dominoes include one domino for each distinct pair of dot values from 0 to 9. The NEOS Domino solver is an implementation of the work of Robert Bosch of Oberlin College.