most citedDepth-Optimal Synthesis of Clifford Circuits with SAT Solvers

2 citations · 2 across the 2 of their papers we have counts for

collaborators

2 papers

quant-ph2026

QuickQudits: A Framework for Efficient Simulation of Noisy Qudit Clifford Circuits via an Extended Stabilizer Tableau Formalism

Nina Brandl, Mykyta Cherniak, Johannes Kofler +1

We present a comprehensive and self-contained framework for the efficient classical simulation of Clifford circuits acting on -dimensional qudits, including realistic Pauli/Weyl…

quant-ph2023★ 2 cited

Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers

Tom Peham, Nina Brandl, Richard Kueng +2

Circuit synthesis is the task of decomposing a given logical functionality into a sequence of elementary gates. It is (depth-)optimal if it is impossible to achieve the desired fun…