@misc{indiciae352b14194d7e,
  title = {Using ILP/SAT to determine pathwidth, visibility representations, and other grid-based graph drawings},
  author = {Therese Biedl and Thomas Bläsius and Benjamin Niedermann and Martin Nöllenburg and Roman Prutkin and Ignaz Rutter},
  year = {2015},
  url = {https://arxiv.org/abs/1308.6778},
  note = {Source identifier: 1308.6778}
}