Techniques of Constraint Integer Programming
Centre of Excellence for Mathematics and Statistics of Complex Systems Seminar
by Timo Berthold
Abstract: Mixed-integer programming (MIP) and constraint programming (CP) proved to be a powerful tools to model and solve large-scale optimization problems. Constraint integer programming (CIP) is a novel generalization of MIP that supports the notion of arbitrary constraints as in CP. We introduce the basic notion and algorithmic ideas of CIP. Further, we present the software SCIP which is a solver and framework for constraint integer programming that also features SAT solving techniques.
For More Information: contact: Nathan Clisby. email email@example.com