Depth-Optimal Quantum Layout Synthesis as SAT.

Anna Blume Jakobsen, Anders B. Clausen, Jaco van de Pol, Irfansha Shaik

Browse the full SAT paper archive.