A class of valid inequalities for multilinear 0-1 optimization problems. - Yves Crama; Elisabeth Rodríguez-Heck (Discret. Optim., 2017)

Quadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variables. - Endre Boros; Yves Crama; Elisabeth Rodríguez-Heck (ISAIM, 2018)

Linear and quadratic reformulations of nonlinear optimization problems in binary variables. - Elisabeth Rodríguez-Heck (4OR, 2019)

Persistency of Linear Programming Formulations for the Stable Set Problem. - Elisabeth Rodríguez-Heck; Karl Stickler; Matthias Walter; Stefan Weltge (CoRR, 2019)

Berge-acyclic multilinear 0-1 optimization problems. - Christoph Buchheim; Yves Crama; Elisabeth Rodríguez-Heck (Eur. J. Oper. Res., 2019)

Compact quadratizations for pseudo-Boolean functions. - Endre Boros; Yves Crama; Elisabeth Rodríguez-Heck (J. Comb. Optim., 2020)

Quadratic reformulations for the optimization of pseudo-boolean functions. - Yves Crama; Sourour Elloumi; Amélie Lambert; Elisabeth Rodríguez-Heck (ISAIM, 2022)

Persistency of linear programming relaxations for the stable set problem. - Elisabeth Rodríguez-Heck; Karl Stickler; Matthias Walter; Stefan Weltge (Math. Program., 2022)

Solving unconstrained binary polynomial programs with limited reach: Application to low autocorrelation binary sequences. - Jens Vinther Clausen; Yves Crama; Richard Lusby; Elisabeth Rodríguez-Heck; Stefan Ropke (Comput. Oper. Res., 2024)