Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond.

Lucas Berent, Lukas Burgholzer, Robert Wille

Browse the full SAT paper archive.