"The Book Embedding Problem from a SAT-Solving Perspective."

Michael A. Bekos, Michael Kaufmann, Christian Zielke (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics