ancilla management 1circuit depth optimization 1parallel clause evaluation 1quantum oracle synthesis 1sat solving 1
From the 1 of 2 linked papers with an AI index.
2 papers
quant-ph2026
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…
quant-ph2025
Quantum circuit synthesis with qudit phase gadget method
Shuai Yang, Lihao Xu, Guojing Tian +1
Current quantum devices have unutilized high-level quantum resources. More and more attention has been paid to the qudit quantum systems with larger than two dimensions to maximize…