Login / Signup

A SAT Encoding for Optimal Clifford Circuit Synthesis.

Sarah SchneiderLukas BurgholzerRobert Wille
Published in: ASP-DAC (2023)
Keyphrases
  • sat encodings
  • optimal solution
  • multi objective
  • cellular automata
  • search strategies