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…
quant-ph2026
QLLVM: A Scalable Quantum-Classical Co-Compilation Framework based on LLVM
Yu Zhu, Qiming Du, Yuqiong Jin +5
To address the urgent need in the NISQ era for high-performance, scalable quantum compilers and to advance the integration of classical and quantum computing, we present QLLVM, an…