Using ILP/SAT to Determine Pathwidth, Visibility Representations, and other Grid-Based Graph Drawings.

Therese Biedl, Thomas Blsius, Benjamin Niedermann, Martin Nllenburg, Roman Prutkin, Ignaz Rutter

Browse the full GD paper archive.