Using ILP/SAT to determine pathwidth, visibility representations, and other grid-based graph drawings

Abstract

Full Citation:

Therese Biedl, Thomas Bläsius, Benjamin Niedermann, Martin Nöllenburg, Roman Prutkin, Ignaz Rutter. Using ILP/SAT to determine pathwidth, visibility representations, and other grid-based graph drawings. Graph Drawing (GD'13) (Stephen Wismath, Alexander Wolff, eds.), volume 8242 of LNCS, pages 460–471, 2013, Springer Berlin Heidelberg.

Martin Nöllenburg

Martin Nöllenburg is a Professor at the Algorithms and Complexity Group.