 | Up a level |
2002
Althaus, Ernst, Bockmayr, Alexander, Elf, Matthias, Kasper, Thomas, Jünger, Michael and Mehlhorn, Kurt
(2002).
SCIL - Symbolic Constraints in Integer Linear Programming.
In:
Algorithms - ESA 2002 : 10th annual European symposium, Rome, Italy, September 17 - 21, 2002 ; proceedings,
pp. 75-87.
Springer.
1996
Mehlhorn, Kurt and Mutzel, Petra 
ORCID: 0000-0001-7621-971X
(1996).
On the Embedding Phase of the Hopcroft and Tarjan Planarity Testing Algorithm.
Algorithmica, 16 (2).
pp. 233-242.
Springer.
1994
Mehlhorn, Kurt, Mutzel, Petra ORCID: 0000-0001-7621-971X and Näher, Stefan
(1994).
An Implementation of the Hopcroft and Tarjan Planarity Test and Embedding Algorithm.
["eprint_fieldopt_monograph_type_preprint" not defined].