Circle Graph 3-Coloring: Experimental Code

Ganian, Robert; Mauve, Philipp; Surianarayanan, Vaishali

doi:10.4230/artifacts.27503

Artifact

Circle Graph 3-Coloring: Experimental Code Software

Authors Robert Ganian , Philipp Mauve , Vaishali Surianarayanan

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2026-11-12

Document Identifiers

DOI: 10.4230/artifacts.27503
URN: urn:nbn:de:0030-drops-275039

Author Details

Robert Ganian

TU Wien, Austria

Philipp Mauve

TU Wien, Austria

Vaishali Surianarayanan

Yale University, New Haven, CT, USA

Content

Software (Source Code): https://github.com/Pmauve/circle-graph-3-coloring
archived version

Version/Status

Content created at: 2026-07-02
Status: Active (at the time of publication 2026-11-12)

Cite As Get BibTex

Robert Ganian, Philipp Mauve, Vaishali Surianarayanan. Circle Graph 3-Coloring: Experimental Code (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.27503

Description

Reproducible experimental code for "Circle Graph 3-Coloring: Can Simplicity Beat SAT?", including the SOSA solver, SAT baselines, instance generators, and benchmark pipeline.

Subject Classification

Keywords

circle graphs
3-coloring
graph coloring
SAT
benchmark

Programming Languages

Python
Rust

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail