Login / Signup

A SAT Encoding for Optimal Clifford Circuit Synthesis.

Sarah SchneiderLukas BurgholzerRobert Wille
Published in: CoRR (2022)
Keyphrases
  • sat encodings
  • optimal solution
  • genetic programming
  • dynamic programming
  • information retrieval systems