The Book Embedding Problem from a SAT-Solving Perspective

Michael A. Bekos, Michael Kaufmann 0001, Christian Zielke. The Book Embedding Problem from a SAT-Solving Perspective. In Emilio Di Giacomo, Anna Lubiw, editors, Graph Drawing and Network Visualization - 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers. Volume 9411 of Lecture Notes in Computer Science, pages 125-138, Springer, 2015. [doi]

Authors

Michael A. Bekos

This author has not been identified. Look up 'Michael A. Bekos' in Google

Michael Kaufmann 0001

This author has not been identified. Look up 'Michael Kaufmann 0001' in Google

Christian Zielke

This author has not been identified. Look up 'Christian Zielke' in Google