| Week | Topic | Release* | Due* | |
|---|---|---|---|---|
| I | Intro. to Prescriptive Analytics | |||
| II | Boolean Satisfiability | |||
| III | Modern CDCL SAT Solvers | |||
| IV | From Booleans to Richer Domains | |||
| V | Toward Global Constraints | |||
| VI | Search Guidance | |||
| VII | Linear Programming | |||
| VIII | Duality Theory | |||
| IX | Integer Programming | |||
| X | Local Search Meta-Heuristics | |||
| XI | Advanced: LLMs for Optimization | |||
| XII | Invited Speaker | |||
| XIII | Final: Team Presentations |