Skip to content
Publications

Preprint · SSRN Electronic Journal · January 1, 2026

Certied Compilation of Graph Coloring to Neutral-Atom Hardware: An Exact Gadgetized Reduction with a Heuristic Layout Optimizer

Mahmoud Naderi, Manuel Mazzara, Paolo Ciancarini