Lukas Burgholzer

Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers

2023

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 functionality with even shorter circuits. Optimal synthesis …