Autor: Althaus, Ernst / Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Autor Althaus, Ernst Datenquelle DBLP

21. Superposition Modulo Linear Arithmetic SUP(LA).

Autoren:: Althaus, Ernst; Kruglov, Evgeny; Weidenbach, Christoph
Editoren:: Ghilardi, Silvio; Sebastiani, Roberto
Veröffentlichungsdatum:: 2009
Typ:: Konferenzbeitrag

22. Computing steiner minimum trees in Hamming metric.

Autoren:: Althaus, Ernst; Naujoks, Rouven
Veröffentlichungsdatum:: 2006
Typ:: Konferenzbeitrag

23. Integration of an LP Solver into Interval Constraint Propagation.

Autoren:: Althaus, Ernst; Becker, Bernd; Dumitriu, Daniel; Kupferschmid, Stefan
Editoren:: Wang, Weifan; Zhu, Xuding; Du, Ding-Zhu
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

24. Optimal Tree Decompositions Revisited: A Simpler Linear-Time FPT Algorithm.

Autoren:: Althaus, Ernst; Ziegler, Sarah
Veröffentlichungsdatum:: 2019
Typ:: Zeitschriftenaufsatz

25. A Combinatorial Approach to Protein Docking with Flexible Side Chains

Autoren:: Althaus, Ernst; Kohlbacher, Oliver; Lenhof, Hans-Peter; Müller, Peter
Veröffentlichungsdatum:: 2002
Typ:: Zeitschriftenaufsatz

26. An efficient algorithm for the configuration problem of dominance graphs.

Autoren:: Althaus, Ernst; Duchier, Denys; Koller, Alexander; Mehlhorn, Kurt; Niehren, Joachim; Thiel, Sven
Editoren:: Kosaraju, S Rao
Veröffentlichungsdatum:: 2001
Typ:: Konferenzbeitrag

27. Approximating the Interval Constrained Coloring Problem.

Autoren:: Althaus, Ernst; Canzar, Stefan; Elbassioni, Khaled M; Karrenbauer, Andreas; Mestre, Julián
Editoren:: Gudmundsson, Joachim
Veröffentlichungsdatum:: 2008
Typ:: Konferenzbeitrag

28. A Greedy Algorithm for Hierarchical Complete Linkage Clustering

Autoren:: Althaus, Ernst; Hildebrandt, Andreas; Hildebrandt, Anna Katharina
Editoren:: Dediu, Adrian-Horia; Martín-Vide, Carlos; Truthe, Bianca
Veröffentlichungsdatum:: 2014
Typ:: Konferenzbeitrag

29. Approximating k-hop minimum-spanning trees

Autoren:: Althaus, Ernst; Funke, Stefan; Har-Peled, Sariel; Könemann, Jochen; Ramos, Edgar A; Skutella, Martin
Veröffentlichungsdatum:: 2005
Typ:: Zeitschriftenaufsatz

30. An efficient graph algorithm for dominance constraints

Autoren:: Althaus, Ernst; Duchier, Denys; Koller, Alexander; Mehlhorn, Kurt; Niehren, Joachim; Thiel, Sven
Veröffentlichungsdatum:: 2003
Typ:: Zeitschriftenaufsatz