×
Author ID: althaus.ernst Recent zbMATH articles by "Althaus, Ernst"
Published as: Althaus, Ernst
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 99 times in 94 Documents Cited by Year
Superposition modulo linear arithmetic SUP(LA). Zbl 1193.03024
Althaus, Ernst; Kruglov, Evgeny; Weidenbach, Christoph
19
2009
Approximating \(k\)-hop minimum-spanning trees. Zbl 1099.90064
Althaus, Ernst; Funke, Stefan; Har-Peled, Sariel; Könemann, Jochen; Ramos, Edgar A.; Skutella, Martin
17
2005
SCIL – symbolic constraints in integer linear programming. Zbl 1019.90515
Althaus, Ernst; Bockmayr, Alexander; Elf, Matthias; Jünger, Michael; Kasper, Thomas; Mehlhorn, Kurt
8
2002
TSP-based curve reconstruction in polynomial time. Zbl 0954.65011
Althaus, Ernst; Mehlhorn, Kurt
7
2000
Improving linear programming approaches for the Steiner tree problem. Zbl 1023.90529
Althaus, Ernst; Polzin, Tobias; Daneshmand, Siavash Vahdati
7
2003
Approximating the interval constrained coloring problem. Zbl 1155.68573
Althaus, Ernst; Canzar, Stefan; Elbassioni, Khaled; Karrenbauer, Andreas; Mestre, Julián
5
2008
Scheduling shared continuous resources on many-cores. Zbl 1406.90033
Althaus, Ernst; Brinkmann, André; Kling, Peter; auf der Heide, Friedhelm Meyer; Nagel, Lars; Riechers, Sören; Sgall, Jiří; Süß, Tim
5
2018
A branch-and-cut algorithm for multiple sequence alignment. Zbl 1085.90060
Althaus, Ernst; Caprara, Alberto; Lenhof, Hans-Peter; Reinert, Knut
4
2006
Algorithms for the maximum weight connected \(k\)-induced subgraph problem. Zbl 1431.90159
Althaus, Ernst; Blumenstock, Markus; Disterhoft, Alexej; Hildebrandt, Andreas; Krupp, Markus
3
2014
Traveling salesman-based curve reconstruction in polynomial time. Zbl 0992.68070
Althaus, Ernst; Mehlhorn, Kurt
3
2001
Computing Steiner minimum trees in Hamming metric. Zbl 1192.05027
Althaus, Ernst; Naujoks, Rouven
3
2006
Improving interpolants for linear arithmetic. Zbl 1471.68233
Althaus, Ernst; Beber, Björn; Kupilas, Joschka; Scholl, Christoph
2
2015
Point containment in the integer hull of a polyhedron. Zbl 1318.68180
Althaus, Ernst; Eisenbrand, Friedrich; Funke, Stefan; Mehlhorn, Kurt
2
2004
Certifying feasibility and objective value of linear programs. Zbl 1247.90187
Althaus, Ernst; Dumitriu, Daniel
2
2012
A Lagrangian relaxation approach for the multiple sequence alignment problem. Zbl 1161.92027
Althaus, Ernst; Canzar, Stefan
2
2008
Maximum network flow with floating point arithmetic. Zbl 1078.68670
Althaus, Ernst; Mehlhorn, Kurt
2
1998
Optimal tree decompositions revisited: a simpler linear-time FPT algorithm. Zbl 1479.05294
Althaus, Ernst; Ziegler, Sarah
2
2021
An efficient algorithm for the configuration problem of dominance graphs. Zbl 0988.68139
Althaus, Ernst; Duchier, Denys; Koller, Alexander; Mehlhorn, Kurt; Niehren, Joachim; Thiel, Sven
1
2001
Integration of an LP solver into interval constraint propagation. Zbl 1342.68307
Althaus, Ernst; Becker, Bernd; Dumitriu, Daniel; Kupferschmid, Stefan
1
2011
A Lagrangian relaxation approach for the multiple sequence alignment problem. Zbl 1175.92016
Althaus, Ernst; Canzar, Stefan
1
2007
Approximation algorithms for the interval constrained coloring problem. Zbl 1221.68098
Althaus, Ernst; Canzar, Stefan; Elbassioni, Khaled; Karrenbauer, Andreas; Mestre, Julián
1
2011
On the low-dimensional Steiner minimum tree problem in Hamming metric. Zbl 1416.68128
Althaus, Ernst; Kupilas, Joschka; Naujoks, Rouven
1
2013
Integer linear programming in computational biology. Zbl 1258.92013
Althaus, Ernst; Klau, Gunnar W.; Kohlbacher, Oliver; Lenhof, Hans-Peter; Reinert, Knut
1
2009
Optimal tree decompositions revisited: a simpler linear-time FPT algorithm. Zbl 1479.05294
Althaus, Ernst; Ziegler, Sarah
2
2021
Scheduling shared continuous resources on many-cores. Zbl 1406.90033
Althaus, Ernst; Brinkmann, André; Kling, Peter; auf der Heide, Friedhelm Meyer; Nagel, Lars; Riechers, Sören; Sgall, Jiří; Süß, Tim
5
2018
Improving interpolants for linear arithmetic. Zbl 1471.68233
Althaus, Ernst; Beber, Björn; Kupilas, Joschka; Scholl, Christoph
2
2015
Algorithms for the maximum weight connected \(k\)-induced subgraph problem. Zbl 1431.90159
Althaus, Ernst; Blumenstock, Markus; Disterhoft, Alexej; Hildebrandt, Andreas; Krupp, Markus
3
2014
On the low-dimensional Steiner minimum tree problem in Hamming metric. Zbl 1416.68128
Althaus, Ernst; Kupilas, Joschka; Naujoks, Rouven
1
2013
Certifying feasibility and objective value of linear programs. Zbl 1247.90187
Althaus, Ernst; Dumitriu, Daniel
2
2012
Integration of an LP solver into interval constraint propagation. Zbl 1342.68307
Althaus, Ernst; Becker, Bernd; Dumitriu, Daniel; Kupferschmid, Stefan
1
2011
Approximation algorithms for the interval constrained coloring problem. Zbl 1221.68098
Althaus, Ernst; Canzar, Stefan; Elbassioni, Khaled; Karrenbauer, Andreas; Mestre, Julián
1
2011
Superposition modulo linear arithmetic SUP(LA). Zbl 1193.03024
Althaus, Ernst; Kruglov, Evgeny; Weidenbach, Christoph
19
2009
Integer linear programming in computational biology. Zbl 1258.92013
Althaus, Ernst; Klau, Gunnar W.; Kohlbacher, Oliver; Lenhof, Hans-Peter; Reinert, Knut
1
2009
Approximating the interval constrained coloring problem. Zbl 1155.68573
Althaus, Ernst; Canzar, Stefan; Elbassioni, Khaled; Karrenbauer, Andreas; Mestre, Julián
5
2008
A Lagrangian relaxation approach for the multiple sequence alignment problem. Zbl 1161.92027
Althaus, Ernst; Canzar, Stefan
2
2008
A Lagrangian relaxation approach for the multiple sequence alignment problem. Zbl 1175.92016
Althaus, Ernst; Canzar, Stefan
1
2007
A branch-and-cut algorithm for multiple sequence alignment. Zbl 1085.90060
Althaus, Ernst; Caprara, Alberto; Lenhof, Hans-Peter; Reinert, Knut
4
2006
Computing Steiner minimum trees in Hamming metric. Zbl 1192.05027
Althaus, Ernst; Naujoks, Rouven
3
2006
Approximating \(k\)-hop minimum-spanning trees. Zbl 1099.90064
Althaus, Ernst; Funke, Stefan; Har-Peled, Sariel; Könemann, Jochen; Ramos, Edgar A.; Skutella, Martin
17
2005
Point containment in the integer hull of a polyhedron. Zbl 1318.68180
Althaus, Ernst; Eisenbrand, Friedrich; Funke, Stefan; Mehlhorn, Kurt
2
2004
Improving linear programming approaches for the Steiner tree problem. Zbl 1023.90529
Althaus, Ernst; Polzin, Tobias; Daneshmand, Siavash Vahdati
7
2003
SCIL – symbolic constraints in integer linear programming. Zbl 1019.90515
Althaus, Ernst; Bockmayr, Alexander; Elf, Matthias; Jünger, Michael; Kasper, Thomas; Mehlhorn, Kurt
8
2002
Traveling salesman-based curve reconstruction in polynomial time. Zbl 0992.68070
Althaus, Ernst; Mehlhorn, Kurt
3
2001
An efficient algorithm for the configuration problem of dominance graphs. Zbl 0988.68139
Althaus, Ernst; Duchier, Denys; Koller, Alexander; Mehlhorn, Kurt; Niehren, Joachim; Thiel, Sven
1
2001
TSP-based curve reconstruction in polynomial time. Zbl 0954.65011
Althaus, Ernst; Mehlhorn, Kurt
7
2000
Maximum network flow with floating point arithmetic. Zbl 1078.68670
Althaus, Ernst; Mehlhorn, Kurt
2
1998
all top 5

Cited by 215 Authors

7 Weidenbach, Christoph
6 Althaus, Ernst
3 Bonacina, Maria Paola
3 Koch, Thorsten
3 Riechers, Sören
3 van Hoeve, Willem-Jan
2 Achterberg, Tobias
2 Bergantiños, Gustavo
2 Blondin, Michael
2 Böhm, Martin
2 Bromberger, Martin
2 Buchheim, Christoph
2 Campbell, Ann Melissa
2 Canzar, Stefan
2 Chen, Hui
2 Cook, William John
2 Esparza, Javier
2 Gómez-Rúa, María
2 Haouari, Mohamed
2 Hoeksma, Ruben
2 Komusiewicz, Christian
2 König, Jürgen
2 Kruglov, Evgeniĭ Valentinovich
2 Kupilas, Joschka
2 Leggieri, Valeria
2 Leutgeb, Lorenz
2 Liers, Frauke
2 Llorca, Natividad
2 Mäcker, Alexander
2 Megow, Nicole
2 Meyer auf der Heide, Friedhelm
2 Naujoks, Rouven
2 Niedermeier, Rolf
2 Nölke, Lukas
2 Pulido, Manuel A.
2 Rehfeldt, Daniel
2 Sánchez-Soriano, Joaquín
2 Simon, Bertrand
2 Thomas, Barrett W.
2 Triki, Chefi
2 Uhlmann, Johannes
2 Voronkov, Andrei
1 Abdulaziz, Mohammad
1 Adamy, Udo
1 Agnetis, Alessandro
1 Amenta, Nina
1 Angel, Omer
1 Asaeedi, Saeed
1 Avis, David M.
1 Baumann, Frank
1 Baumgartner, Peter
1 Benchimol, Pascal
1 Berthold, Timo
1 Bjørner, Nikolaj S.
1 Byrka, Jarosław
1 Chang, YoungJung
1 Chatterji, Samaresh
1 Chawla, Sanjay
1 Cheng, Siu-Wing
1 Cheong, Otfried
1 Choi, Sunghee
1 Chvátal, Václav
1 Clementi, Andrea E. F.
1 Conradi, Carsten
1 Cymer, Radosław
1 de Moura, Leonardo
1 Deville, Yves
1 Dey, Tamal Krishna
1 Di Ianni, Miriam
1 Dickenstein, Alicia M.
1 Didehvar, Farzad
1 Dinitz, Yefim
1 Drees, Maximilian
1 Duchier, Denys
1 Dumitriu, Daniel
1 Echenim, Mnacho
1 Eggers, Andreas
1 Elbassioni, Khaled M.
1 Elkin, Michael
1 Elmasry, Amr
1 Eremeev, Anton Valentinovich
1 Espinoza, Daniel G.
1 Fampa, Marcia Helena C.
1 Feldotto, Matthias
1 Feliu, Elisenda
1 Fellows, Michael Ralph
1 Fertin, Guillaume
1 Fietzke, Arnaud
1 Filippi, Carlo
1 Flaxman, Abraham D.
1 Freedman, Daniel Z.
1 Funke, Stefan
1 Furbach, Ulrich
1 Ghuge, Rohan
1 Giesen, Joachim
1 Gionis, Aristides
1 Gleiss, Bernhard
1 Gleixner, Ambros M.
1 Golin, Mordecai J.
1 Grabowski, Tomasz
...and 115 more Authors

Citations by Year