TY  - RPRT
TI  - Using ILP/SAT to determine pathwidth, visibility representations, and other grid-based graph drawings
AU  - Therese Biedl
AU  - Thomas Bläsius
AU  - Benjamin Niedermann
AU  - Martin Nöllenburg
AU  - Roman Prutkin
AU  - Ignaz Rutter
PY  - 2015
UR  - https://arxiv.org/abs/1308.6778
ID  - 1308.6778
ER  -