Reducing Quantum Circuit Synthesis to #SAT. - Dekel Zak; Jingyi Mei; Jean-Marie Lagniez; Alfons Laarman (CP, 2025)