School Seminars and Colloquia

Techniques of Constraint Integer Programming

Centre of Excellence for Mathematics and Statistics of Complex Systems Seminar

by Timo Berthold


Institution: Zuse Institute Berlin (ZIB) and MATHEON (Berlin)
Date: Fri 29th January 2010
Time: 3:15 PM
Location: Theatre 2, ICT Bldg (ground floor), 111 Barry Street

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 n.clisby@ms.unimelb.edu.au