Circle Graph 3-Coloring: Can Simplicity Beat SAT?

Robert Ganian, Philipp Mauve, Vaishali Surianarayanan
January 2026
bib Project Project

Abstract

Full Citation:

Robert Ganian, Philipp Mauve, Vaishali Surianarayanan. Circle Graph 3-Coloring: Can Simplicity Beat SAT?. 34th International Symposium on Graph Drawing and Network Visualization, GD 2026, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. (Note: to appear)

Type
Conference Paper
PGD ParAI
Robert Ganian
Robert Ganian

Robert Ganian is a Professor at the Algorithms and Complexity Group.