ZIB-Logo
KONRAD-ZUSE-ZENTRUM
FÜR INFORMATIONSTECHNIK
BERLIN
Home english » Research » Discrete Methods » Optimization » Linear and Nonlinear Integer Optimization » Projects
MATHEON-Logo

Quickview

Integer Optimization
Head: Dr. Thorsten Koch

Staff,
Projects (Current | Archive),
Publications,
Software

Linear and Nonlinear Integer Optimization - Past Projects

ASZ01poly

Geometry and Combinatorics of 0/1-Polytopesto project presentation

CCCO

Cardinality Constrained Combinatorial Optimizationto project presentation

CPpoly

Cycle and Path Polytopes with and without Length Restrictionsto project presentation

DPprojection

Projections from Dynamic Programming Based Extended Formulationsto project presentation

GasNetOpt

Nonlinear Optimization of the Load Distribution in Gas Networksto project presentation

GraphColorings

Graph Colorings: Topological Lower Boundsto project presentation

Infeas

Infeasible Linear Inequality Systemsto project presentation

MATHEON-B10: Describing Polyhedra

Describing Polyhedra by Polynomial Inequalitiesto project presentation

MATHEON-B11: RandNet

Randomized methods in network optimizationto project presentation

MATHEON-B12: IPSym

Symmetries in Integer Programmingto project presentation

MATHEON-B19: MINLP

Nonconvex Mixed-Integer Nonlinear Programmingto project presentation

MATHEON-D17: Chip Design Verification

Chip Design Verification with Constraint Integer Programming to project presentation

MATHEON-D18: DESol

Sparse Representation of Solutions of Differential Equationsto project presentation

MorseFunctions

Discrete Morse Functionsto project presentation

MultistageSP

Multistage Stochastic Programmingto project presentation

NLIP

Solving special non-linear mixed-integer programsto project presentation

OptInvest

Dynamic Portfolio Optimizationto project presentation

PolSub

Polyhedral Subdivisions to project presentation

SDP

Semidefinite Programmingto project presentation

SewerNetOpt

Optimal Control of Sewer Networksto project presentation

StableMultiSets

Integer generalizations of basic 0-1 problemsto project presentation

StableSets

Stable sets and special graph classesto project presentation

StochProcCtrl

Stochastic Process Controlto project presentation

TACO

Treewidth and Combinatorial Optimizationto project presentation

TriangulatedManifolds

Triangulated Manifoldsto project presentation

Valse-XT

Automated Validation of System-on-Chip Designs to project presentation

VeriCount

Counting Solutions in the Field of Verificationto project presentation

WaterNetOpt

Operative Planning in Berlin's Drinking Water Networkto project presentation