Concept

Cutting-plane method

Related publications (197)

On the Power and Limitations of Branch and Cut

The Stabbing Planes proof system [Paul Beame et al., 2018] was introduced to model the reasoning carried out in practical mixed integer programming solvers. As a proof system, it is powerful enough to simulate Cutting Planes and to refute the Tseitin formu ...

Schloss Dagstuhl - Leibniz-Zentrum für Informatik2021

Constraint-based metabolic control analysis for rational strain engineering

Vassily Hatzimanikatis, Ljubisa Miskovic, Meriç Ataman, Tuure Eelis Hameri, Sofia Tsouka

The advancements in genome editing techniques over the past years have rekindled interest in rational metabolic engineering strategies. While Metabolic Control Analysis (MCA) is a well-established method for quantifying the effects of metabolic engineering ...

2021

Optimized path planning of a swarm of drones for massive data collection

This Master project is part of laboratory research consisting in optimizing path planning of a swarm of drones for massive traffic data collection. The main goals aim to determine the optimal number of drones to use given the available fleet and to generat ...

2020

A Novel Decomposition Solution Approach for the Restoration Problem in Distribution Networks

Hossein Sekhavatmanesh

The distribution network restoration problem is by nature a mixed integer and non-linear optimization problem due to the switching decisions and Optimal Power Flow (OPF) constraints, respectively. The link between these two parts involves logical implicati ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

A Mixed-Integer Linear Programming Formulation for Optimizing Multi-Scale Material and Energy Integration

François Maréchal, Ivan Daniel Kantor, Hür Ebuzer Bütün

This research presents a mathematical formulation for optimizing integration of complex industrial systems from the level of unit operations to processes, entire plants, and finally to considering industrial symbiosis opportunities between plants. The fram ...

2020

A general framework for the integration of complex choice models into mixed integer optimization

Meritxell Pacheco Paneque

The objective of this thesis is to develop a general methodology to incorporate a disaggregate demand representation in supply-oriented optimization problems that allows to capture the interplay between the behavior of individuals and the decisions to be o ...

EPFL2020

Scalable Stochastic Optimization: Scenario Reduction with Guarantees

Kilian Schindler

Stochastic optimization is a popular modeling paradigm for decision-making under uncertainty and has a wide spectrum of applications in management science, economics and engineering. However, the stochastic optimization models one faces in practice are int ...

EPFL2020

Waste collection inventory routing with non-stationary stochastic demands

Michel Bierlaire, Sacha Varone, Mohammad Yousef Maknoon, Iliya Dimitrov Markov

We solve a rich routing problem inspired from practice, in which a heterogeneous fixed fleet is used for collecting recyclable waste from large containers over a finite planning horizon. Each container is equipped with a sensor that communicates its level ...

PERGAMON-ELSEVIER SCIENCE LTD2020

The electric autonomous dial-a-ride problem

Claudia Bongiovanni

This thesis develops mathematical programming frameworks to operate electric autonomous vehicles in the context of ride-sharing services. The introduced problem is a novel variant of the Dial-a-Ride Problem (DARP), denoted by the electric Autonomous Dial-a ...

EPFL2020

The ETFL formulation allows multi-omics integration in thermodynamics-compliant metabolism and expression models

Vassily Hatzimanikatis, Pierre Guy Rémy Salvy

Systems biology has long been interested in models capturing both metabolism and expression in a cell. We propose here an implementation of the metabolism and expression model formalism (ME-models), which we call ETFL, for Expression and Thermodynamics Flu ...

2020

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.