Melanie Siebenhofer

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 5

Top Topics

Branch And Bound Procedure

Linear Constraints

Top Venues

ACM Trans. Math. Softw.

Math. Methods Oper. Res.

Publications

Akshay Gupte, Melanie Siebenhofer, Angelika Wiegele
Computing the Edge Expansion of a Graph Using Semidefinite Programming. ISCO (2024)
Elisabeth Gaar, Melanie Siebenhofer
Sum-of-squares certificates for Vizing's conjecture via determining Gröbner bases. J. Symb. Comput. 120 (2024)
Nicolò Gusmeroli, Timotej Hrga, Borut Luzar, Janez Povh, Melanie Siebenhofer, Angelika Wiegele
BiqBin: A Parallel Branch-and-bound Solver for Binary Quadratic Problems with Linear Constraints. ACM Trans. Math. Softw. 48 (2) (2022)
Elisabeth Gaar, Melanie Siebenhofer, Angelika Wiegele
An SDP-based approach for computing the stability number of a graph. Math. Methods Oper. Res. 95 (1) (2022)
Peter Blank, Michael Maurer, Melanie Siebenhofer, Andreas Rogge-Solti, Stefan Schönig
Location-Aware Path Alignment in Process Mining. EDOC Workshops (2016)