Reducing Quantum Circuit Synthesis to #SAT.

Dekel Zak, Jingyi Mei, Jean-Marie Lagniez, Alfons Laarman

Browse the full CP paper archive.