Hauke Brinkop

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 7

Top Topics

High Multiplicity

Top Venues

Arch. Formal Proofs

Publications

Sebastian Berndt, Hauke Brinkop, Klaus Jansen, Matthias Mnich, Tobias Stamm
New Support Size Bounds for Integer Programming, Applied to Makespan Minimization on Uniformly Related Machines. CoRR (2023)
Sebastian Berndt, Hauke Brinkop, Klaus Jansen, Matthias Mnich, Tobias Stamm
New Support Size Bounds for Integer Programming, Applied to Makespan Minimization on Uniformly Related Machines. ISAAC (2023)
Hauke Brinkop, Klaus Jansen
Solving Cut-Problems in Quadratic Time for Graphs with Bounded Treewidth. SOFSEM (2023)
Hauke Brinkop, Klaus Jansen
High Multiplicity Scheduling on Uniform Machines in FPT-Time. CoRR (2022)
Hauke Brinkop, Klaus Jansen, Tim Weißenfels
An optimal FPT algorithm parametrized by treewidth for Weighted-Max-Bisection given a tree decomposition as advice assuming SETH and the hardness of MinConv. CoRR (2021)
Tobias Nipkow, Hauke Brinkop
Amortized Complexity Verified. J. Autom. Reason. 62 (3) (2019)
Hauke Brinkop, Tobias Nipkow
Pairing Heap. Arch. Formal Proofs 2016 (2016)