The Book Embedding Problem from SAT-Solving Perspective

DSpace Repository

The Book Embedding Problem from SAT-Solving Perspective

Title: The Book Embedding Problem from SAT-Solving Perspective;
Konferenzveröffentlichung
Author: Bekos, M. A.; Kaufmann, M.; Zielke, C.
Tübinger Autor(en):
Bekos, Michael A.
Kaufmann, Michael
Zielke, Christian
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: Buch (einzelnes Kapitel)
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

This item appears in the following Collection(s)