Geometric Graph Representations via Compact SAT Encodings

MaRDI QIDQ7400019arXivFDO

Authors L. Sunil Chandran, Suraj Kumar Sahoo, Aatman Supkar

Publication date 2026

Published in arXiv

arXiv classification

cs.CG

This page was built for publication: Geometric Graph Representations via Compact SAT Encodings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7400019)