> ... it is a well-known type of problem, called a multiple integer program (MIP)
Is this meant to be "mixed integer program"?
Nice read. I find this especially interesting as I'm familiar with everything you've talked about here except only in Australia (AEMO). What you've written is like a parallel universe to what I know - very similar, but distinctly different.