Quantified Mixed Integer Linear Programs
We want to give you a brief insight into the world of quantified programming:
What are Q-MIPs?
Academic Micro-Example.
Polyhedral and Decision-Dependent Uncertainty.
QLP File Format.
Application Example.