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):
|
|
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
|