//-->
Certifying feasibility and objective value of linear programs
Althaus, Ernst, (2012)
Computing Euclidean Steiner trees over segments
Althaus, Ernst, (2020)
Scheduling shared continuous resources on many-cores
Althaus, Ernst, (2018)