Game Tree Search in a Robust Multistage Optimization Framework: Exploiting Pruning Mechanisms

Michael Hartisch, Ulf Lorenz

We investigate pruning in search trees of so-called quantified integer linear programs (QIPs). QIPs consist of a set of linear inequalities and a minimax objective function, where…