TY  - RPRT
TI  - Satisfying Quantum Codes: Physics-Informed and Hardware-Aware Code Design with SAT Solvers
AU  - Ben DalFavero
AU  - William M. Watkins
AU  - Margarite L. LaBorde
AU  - Vincent Russo
AU  - Ethan Egger
AU  - Gregory Quiroz
AU  - Ryan LaRose
PY  - 2026
UR  - https://arxiv.org/abs/2608.23460
ID  - 2608.23460
ER  -