Follow
A SAT Encoding for Optimal Clifford Circuit Synthesis. (arXiv:2208.11713v1 [quant-ph]) http://arxiv.org/abs/2208.11713
A SAT Encoding for Optimal Clifford Circuit Synthesis. (arXiv:2208.11713v1 [quant-ph]) http://arxiv.org/abs/2208.11713