ancilla management 1circuit depth optimization 1parallel clause evaluation 1quantum oracle synthesis 1sat solving 1
From the 1 of 3 linked papers with an AI index.
3 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-ph2026
Modeling and Resource Optimization for Quantum Oracles
Zhihang Li, Bo Zhao, Chuanbing Han +6
Quantum computing has demonstrated its significant advantage over supercomputing for specific applications and shown promising prospect, such as machine learning, cryptography, fin…
cs.ET2025
EDA-Q: Electronic Design Automation for Superconducting Quantum Chip
Bo Zhao, Zhihang Li, Xiaohan Yu +13
Electronic Design Automation (EDA) plays a crucial role in classical chip design and significantly influences the development of quantum chip design. However, traditional EDA tools…