@inproceedings{bbnnpr-uidpvroggd-14,
 author = {Biedl, Therese and Bläsius, Thomas and Niedermann, Benjamin and Nöllenburg, Martin and Prutkin, Roman and Rutter, Ignaz},
 booktitle = {Graph Drawing (GD'13)},
 doi = {10.1007/978-3-319-03841-4_40},
 editor = {Wismath, Stephen and Wolff, Alexander},
 ee = {1308.6778},
 pages = {460--471},
 publisher = {Springer Berlin Heidelberg},
 series = {LNCS},
 title = {Using {ILP/SAT} to determine pathwidth, visibility representations, and other grid-based graph drawings},
 url = {http://arxiv.org/abs/1308.6778},
 volume = {8242},
 year = {2013}
}