@misc{indiciaed405cc58879f, title = {Satisfying Quantum Codes: Physics-Informed and Hardware-Aware Code Design with SAT Solvers}, author = {Ben DalFavero and William M. Watkins and Margarite L. LaBorde and Vincent Russo and Ethan Egger and Gregory Quiroz and Ryan LaRose}, year = {2026}, url = {https://arxiv.org/abs/2608.23460}, note = {Source identifier: 2608.23460} }