The Book Embedding Problem from SAT-Solving Perspective

DSpace Repositorium (Manakin basiert)

The Book Embedding Problem from SAT-Solving Perspective

Titel: The Book Embedding Problem from SAT-Solving Perspective;
ConferenceObject
Autor(en): Bekos, M. A.; Kaufmann, M.; Zielke, C.
Tübinger Autor(en):
Bekos, Michael A.
Kaufmann, Michael
Zielke, Christian
Erscheinungsjahr: 2015
Reihe: Lecture notes in computer science;9411
Verlagsangabe: Springer International
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1007/978-3-319-27261-0_11
ISBN: 978-3-319-27260-3
978-3-319-27261-0
DDC-Klassifikation: 004 - Informatik
Dokumentart: Teil eines Buches
Erschienen in: Graph Drawing and Network Visualization : 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers
Seitenbereich: 125-138
Zur Langanzeige

Das Dokument erscheint in: