TY  - RPRT
TI  - Geometric Graph Representations via Compact SAT Encodings
AU  - L. Sunil Chandran
AU  - Rishikesh Gajjala
AU  - Suraj Kumar Sahoo
AU  - Aatman Supkar
PY  - 2026
UR  - https://arxiv.org/abs/2610.22241
ID  - 2610.22241
ER  -