Dr. Elisabeth Rodríguez-Heck  

Email:
Office hours:
nach Vereinbarung

Research interests:

  • Integer Programming: polyhedral formulations, resolution methods for integer programs, such as branch-and-cut and branch-and-price.
  • Polynomial binary optimization: resolution methods based on linear and quadratic reformulation techniques, applications such as image restoration in computer vision.
  • Applications of Integer Programming such as kidney exchange problems or packing problems.

Teaching:

  • Winter 2020/21 (online): Column Generation and Branch-and-Price (Exercises), OR-Practice project
  • Summer 2020 (online): Operations Research 2 (Lectures), OR-Practice project, Quantitative Methods (support for video production of the tutorials)
  • Winter 2019/20 Column Generation and Branch-and-Price (Exercises)
  • Summer 2019: Operations Research 2 (Lectures and Exercises)
  • Winter 2018/19: Column Generation and Branch-and-Price (Exercises)

 

 

Other profiles on the web:

Publications

Rodríguez-Heck, E., Stickler, K., Walter, M. and Weltge, S.
Persistency of Linear Programming Relaxations for the Stable Set Problem. In Bienstock, D. and Zambelli, G., Integer Programming and Combinatorial Optimization. IPCO 2020. Lecture Notes in Computer Science, vol 12125, June 2020. Springer, Cham.
Boros, E., Crama, Y. and Rodríguez-Heck, E.
Compact quadratizations for pseudo-Boolean functions. Journal of Combinatorial Optimization, 39:687—707, April 2020.
Rodríguez-Heck, E.
Linear and quadratic reformulations of nonlinear optimization problems in binary variables. 4OR, 17:221—222, June 2019. Published PhD thesis summary.
Buchheim, C., Crama, Y. and Rodríguez-Heck, E.
Berge-acyclic multilinear 0–1 optimization problems. European Journal of Operational Research, 273(1):102—107, February 2019.
Rodríguez-Heck, E.
Linear and quadratic reformulations of nonlinear optimization problems in binary variables. University of Liege, August 2018. PhD thesis.
Boros, E., Crama, Y. and Rodríguez-Heck, E.
Quadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variables. Unpublished proceedings at the International Symposium on Artificial Intelligence and Mathematics (ISAIM) 2018, Fort Lauderdale, January 2018.
Crama, Y. and Rodríguez-Heck, E.
A class of valid inequalities for multilinear 0-1 optimization problems. Discrete Optimization, 25:28—47, August 2017.

Talks

21st IPCO Conference, London (via Zoom), United Kingdom,
title: Persistency of Linear Programming Relaxations for the Stable Set Problem von E. Rodríguez-Heck
PGMO Days, Paris, France,
title: The Impact of Quadratization in Convexification-Based Resolution of Polynomial Binary Optimization von E. Rodríguez-Heck
30th European Conference on Operational Research, Dublin, Ireland,
invite: Linear and quadratic reformulations of nonlinear optimization problems in binary variables - Doctoral Dissertation Award 2019 von E. Rodríguez-Heck
30th European Conference on Operational Research, Dublin, Ireland,
invite: A computational comparison of quadratizations for polynomial binary optimization problems von E. Rodríguez-Heck
Laboratoire G-Scop, Grenoble INP, Grenoble, France, February 7, 2019.
seminar: Linear and quadratic reformulations of nonlinear optimization problems in binary variables von E. Rodríguez-Heck
Combinatorial Optimization Workshop, Aussois, France, January 10, 2019.
invite: Compact quadratizations for pseudo-Boolean functions von E. Rodríguez-Heck

RepORts

Rodríguez-Heck, E., Stickler, K., Walter, M. and Weltge, S.
Persistency of Linear Programming Formulations for the Stable Set Problem. repORt 2019—57, November 2019.
Boros, E., Crama, Y. and Rodríguez-Heck, E.
Compact quadratizations for pseudo-Boolean functions. repORt 2019—052, January 2019.

 

 

Bachelor and Master Theses supervised (ongoing):

2021:

  • Jan Fischer, title TBD. (Master Thesis)
  • Johannes Plett, Orthogonal packing problems. (Master Thesis)

 

Bachelor and Master Theses supervised (completed):

2020:

  • Robet Henzel, The Kidney Exchange Problem - A Comparative Analysis of Models and Solvers. (Master Thesis)

 

2019:

  • Karl Stickler, Persistency Property of Stable-Set-Problems and its Connection to Unconstrained Pseudo-Boolean Optimization (Master Thesis)