ZIB-Logo
KONRAD-ZUSE-ZENTRUM
FÜR INFORMATIONSTECHNIK
BERLIN
Home » Forschung » Diskrete Mathematik » Optimierung » Lineare und Nichtlineare Ganzzahlige Optimierung » Projekte
MATHEON-Logo

Quickview

Ganzzahlige Optimierung
Leitung: Dr. Thorsten Koch

Mitarbeiter,
Projekte (Aktuell | Archiv),
Publikationen,
Software

Lineare und Nichtlineare Ganzzahlige Optimierung - Abgeschlossene Projekte

ASZ01poly

Geometrie und Kombinatorik von 0/1-Polytopenzur Projektdarstellung

CCCO

Kardinalitätsbeschränkte Kombinatorische Optimierungzur Projektdarstellung

CPpoly

Kreis- und Wegepolytope mit und ohne Längenbeschränkungenzur Projektdarstellung

DPprojection

Projektionen von DP-basierten erweiterten Formulierungenzur Projektdarstellung

GasNetOpt

Nichtlineare Optimierung der Lastverteilung in Gasnetzenzur Projektdarstellung

GraphColorings

Graphenfärbungen: Topologische untere Schrankenzur Projektdarstellung

Infeas

Unzulässige Lineare Ungleichungssystemezur Projektdarstellung

MATHEON-B10: Describing Polyhedra

Describing Polyhedra by Polynomial Inequalitieszur Projektdarstellung

MATHEON-B11: RandNet

Randomisierte Methoden in der Netzwerkoptimierungzur Projektdarstellung

MATHEON-B12: IPSym

Symmetrien in der Ganzzahligen Programmierungzur Projektdarstellung

MATHEON-B19: MINLP

Nicht konvexe gemischt-ganzzahlige nicht linear Programmierungzur Projektdarstellung

MATHEON-D17: Chip Design Verification

Chip-Design-Verifikation durch Constraint-Integer-Programmierung zur Projektdarstellung

MATHEON-D18: DESol

Effiziente Repräsentation von Lösungen von Differentialgleichungenzur Projektdarstellung

MorseFunctions

Diskrete Morse Funktionenzur Projektdarstellung

MultistageSP

Mehrstufige stochastische Optimierungzur Projektdarstellung

NLIP

Lösung spezieller nicht-linearer gemischt-ganzzahliger Programmezur Projektdarstellung

OptInvest

Dynamische Portfoliooptimierungzur Projektdarstellung

PolSub

Polyedrische Unterteilungen zur Projektdarstellung

SDP

Semidefinite Programmierungzur Projektdarstellung

SewerNetOpt

Optimalsteuerung von Abwassernetzenzur Projektdarstellung

StableMultiSets

Ganzzahlige Verallgemeinerungen grundlegender 0-1-Problemezur Projektdarstellung

StableSets

Stabile Mengen und spezielle Graphenklassenzur Projektdarstellung

StochProcCtrl

Stochastische Prozessregelungzur Projektdarstellung

TACO

Baumweite und Kombinatorische Optimierungzur Projektdarstellung

TriangulatedManifolds

Triangulierte Mannigfaltigkeitenzur Projektdarstellung

Valse-XT

Automatisierte Validierung von System-on-Chip-Entwürfenzur Projektdarstellung

VeriCount

Zählen von Lösungen in der Verifikationzur Projektdarstellung

WaterNetOpt

Betriebsoptimierung im Berliner Trinkwassernetzzur Projektdarstellung