A
Menu
January 16, 2023 conference-paper Open access

A SAT Encoding for Optimal Clifford Circuit Synthesis

Asia and South Pacific Design Automation Conference (ASP-DAC)

DOI: 10.1145/3566097.3567929 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 3 stored of 16

3 results

References 0