Depth-Optimal Quantum Layout Synthesis as SAT. - Anna Blume Jakobsen; Anders B. Clausen; Jaco van de Pol; Irfansha Shaik (SAT, 2025)