Proving or Disproving Planar Straight-Line Embeddability onto given Rectangles

Research Area: Structure Based Algorithm Engineering for SAT Solving Year: 2010
Type of Publication: In Proceedings Keywords: SAT, Encoding, Planarity
Authors: Michael Kaufmann; Stephan Kottler
Book title: 17th International Symposium on Graph Drawing
BibTex:
[Bibtex]
[ Back ]