The Book Embedding Problem from SAT-Solving Perspective
Title:
The Book Embedding Problem from SAT-Solving Perspective;
ConferenceObject
Author:
|
Bekos, M. A.; Kaufmann, M.; Zielke, C.
|
Tübinger Autor(en):
|
|
Issue year:
|
2015
|
Series:
|
Lecture notes in computer science;9411
|
Verlagsangabe:
|
Springer International
|
Language:
|
English
|
Full text:
|
http://dx.doi.org/10.1007/978-3-319-27261-0_11
|
ISBN:
|
978-3-319-27260-3 978-3-319-27261-0
|
DDC Classifikation:
|
004 - Data processing and computer science
|
Dokumentart:
|
BookPart
|
Published in:
|
Graph Drawing and Network Visualization : 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers
|
Page range:
|
125-138
|
Show full item record
|