Stefan Heinz, Zuse Institute Berlin

The flexibility of the constraint integer programming solver SCIP SCIP is a constraint integer programming solver. Constraint integer programming (CIP) is a novel paradigm which integrates constraint programming and mixed integer programming (MIP) modeling and solving techniques. The solver SCIP

Continue reading

Serge Kruk, Oakland University

Facets of multiple all-different constraints We explore the properties of the comb structure of multiple alldifferent, a ubiquitous constraint in Constraint Programming. We introduce multiple classes of facet-inducing inequalities of the convex hull of integer solutions as well as a

Continue reading

Sanjeeb Dash, IBM Research

The master equality polyhedron In this talk, we discuss the master equality polyhedron (MEP) which generalizes the master polyhedra of Gomory (1969). Gomory introduced master polyhedra and master cyclic group polyhedra as tools to obtain cutting planes for general integer

Continue reading

Eugene Perevalov, Lehigh University

Entropic optimization: a novel framework for optimization/decision making under uncertainty A novel framework for optimization/decision making under uncertainty is proposed. Within this framework, a solution is associated with a map from the set of possible system states (scenarios) and the

Continue reading