The Book Embedding Problem from a SAT-Solving Perspective.

Michael A. Bekos, Michael Kaufmann, Christian Zielke

Browse the full GD paper archive.