Login / Signup
Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond.
Lucas Berent
Lukas Burgholzer
Robert Wille
Published in:
CoRR (2022)
Keyphrases
</>
quantum computing
logic circuits