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]
Abstract is missing.