Space-Efficient Planar Acyclicity Constraints

DOI10.1007/978-3-319-29604-3_7zbMath1475.68231OpenAlexW2416090738MaRDI QIDQ2798264

Taus Brock-Nannestad

Publication date: 4 April 2016

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29604-3_7

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Data structures (68P05)

Uses Software

• Sugar

Cites Work

• Compiling finite linear CSP into SAT
• Rectilinear planar layouts and bipolar orientations of planar graphs
• SAT Modulo Graphs: Acyclicity
• Rotation and Winding Numbers for Planar Polygons and Curves

This page was built for publication: Space-Efficient Planar Acyclicity Constraints