TY  - RPRT
TI  - Reducing Quantum Circuit Synthesis to #SAT
AU  - Dekel Zak
AU  - Jingyi Mei
AU  - Jean-Marie Lagniez
AU  - Alfons Laarman
PY  - 2025
UR  - https://arxiv.org/abs/2508.00416
ID  - 2508.00416
ER  -