From Leaves to Clusters: Depth-Efficient SAT-Oracle Synthesis Based on the FORM Model

Zhihang Li, Wei Zi, Shuai Yang +7

Quantum oracles play a fundamental role in many quantum algorithms, such as Grover's search and quantum counting. In oracle synthesis, reducing the circuit depth under a limited nu…