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]
@inproceedings{Bekos0Z15, title = {The Book Embedding Problem from a SAT-Solving Perspective}, author = {Michael A. Bekos and Michael Kaufmann 0001 and Christian Zielke}, year = {2015}, doi = {10.1007/978-3-319-27261-0_11}, url = {http://dx.doi.org/10.1007/978-3-319-27261-0_11}, researchr = {https://researchr.org/publication/Bekos0Z15}, cites = {0}, citedby = {0}, pages = {125-138}, booktitle = {Graph Drawing and Network Visualization - 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers}, editor = {Emilio Di Giacomo and Anna Lubiw}, volume = {9411}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-27260-3}, }