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

Zhihang Li, Wei Zi, Shuai Yang +7

The paper introduces a depth‑focused framework called the Clustered Synthesis Tree (CST) for building quantum oracles for SAT formulas, grouping clauses into clusters to exploit pa…