TY  - RPRT
TI  - Finding Photonics Circuits via $δ$-weakening SMT
AU  - Marco Lewis
AU  - Benoît Valiron
PY  - 2025
DO  - 10.1007/978-3-032-15700-3_7
UR  - https://arxiv.org/abs/2509.11678
ID  - 2509.11678
ER  -