KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Biedl, T.; Bläsius, T. ORCID iD icon; Niedermann, B.; Nöllenburg, M.; Prutkin, R.; Rutter, I.


Download
Originalveröffentlichung
DOI: 10.1007/978-3-319-03841-4_40
Dimensions
Zitationen: 14
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2013
Sprache Englisch
Identifikator ISBN: 978-3-319-03840-7
ISSN: 0302-9743
KITopen-ID: 1000039192
Erschienen in Graph Drawing - 21st International Symposium (GD'13), Bordeaux, France, September 23-25, 2013. Ed.: S. Wismath
Verlag Springer-Verlag
Seiten 460-471
Serie Lecture Notes in Computer Science ; 8242
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page