Login / Signup

The Book Embedding Problem from a SAT-Solving Perspective.

Michael A. BekosMichael KaufmannChristian Zielke
Published in: Graph Drawing (2015)
Keyphrases
  • sat solving
  • sat solvers
  • boolean satisfiability
  • sat problem
  • genetic algorithm
  • vector space