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

Biedl, Therese, Bläsius, Thomas, Niedermann, Benjamin, Martin Nöllenburg, Prutkin, Roman, Rutter, Ignaz
January 2013
PDF bib DOI

Abstract

Full Citation:

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

Type
Conference Paper
Martin Nöllenburg
Martin Nöllenburg

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