A SAT Encoding for Optimal Clifford Circuit Synthesis.

Sarah Schneider, Lukas Burgholzer, Robert Wille

Browse the full ASPDAC paper archive.