Relational Verification for Cost-Aware Quantum Program Optimization.

Ziming Zhao, Tingting Li, Zhaoxuan Li, Jianwei Yin

Browse the full AAAI paper archive.