@inproceedings{GMS26,
 author = {Robert Ganian and
Philipp Mauve and
Vaishali Surianarayanan},
 booktitle = {34th International Symposium on Graph Drawing and Network Visualization,
{GD} 2026},
 keywords = {PGD, ParAI},
 note = {to appear},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {Circle Graph 3-Coloring: Can Simplicity Beat SAT?},
 year = {2026}
}