Upward Planarity Testing via SAT

DOI10.1007/978-3-642-36763-2_22zbMath1377.68169OpenAlexW1509009144MaRDI QIDQ4912207

Robert Zeranski, Markus Chimani

Publication date: 3 April 2013

Published in: Graph Drawing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36763-2_22

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Graph algorithms (graph-theoretic aspects) (05C85) Directed graphs (digraphs), tournaments (05C20) Graph representations (geometric and intersection representations, etc.) (05C62)

Related Items (2)

Upward and quasi-upward planarity testing of embedded mixed graphs ⋮ Upward Planarity Testing in Practice

This page was built for publication: Upward Planarity Testing via SAT