FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams. - Ziyuan Wang; Bin Cheng; Longxiang Yuan; Zhengfeng Ji (CAV (4), 2025)