CNOT-Optimal Clifford Synthesis as SAT.

Irfansha Shaik, Jaco van de Pol

Browse the full SAT paper archive.