Mixed Integer Programming

= lineare Ungleichungssysteme für
reelle, ganze, binäre (d.h. {0, 1}) Zahlen.

• konkrete Syntax: AMPL (Robert Fourer and David M. Gay and Brian W. Kernighan, A Modeling Language for Mathematical Programming. Management Science 36 (1990) 519-554. http://www.ampl.com/REFS/abstracts.html#amplmod)
• Solver: http://www.ampl.com/, http://www.gnu.org/software/glpk/, http://scip.zib.de/
• ist NP-schwer (binäre Zahlen $\to$ CNF-SAT).