Login / Signup

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

Lucas BerentLukas BurgholzerRobert Wille
Published in: SAT (2022)
Keyphrases
  • quantum computing
  • logic circuits
  • lower bound
  • upper bound
  • planning problems