3 papers
quant-ph2026
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…
quant-ph2026
Modeling and Resource Optimization for Quantum Oracles
Zhihang Li, Bo Zhao, Chuanbing Han +6
Quantum oracles are fundamental building blocks of many quantum algorithms, and their resource consumption directly affects performance, yet structured description and complexity a…
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…