Showing cs.DSShow all
3 papers · 1 filter
cs.DS2026
XBDD: A Highly Optimized ROBDD with Per-Edge Variable-Flip Maps
Yinglong Gan, Jintao Yu, Shenggang Ying +2
The Reduced Ordered Binary Decision Diagram (ROBDD) is a canonical representation of Boolean functions and is widely used in tasks such as equivalence checking and satisfiability c…
cs.DS2025
Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps
Xin Hong, Aochu Dai, Chenjian Li +3
Quantum state preparation (QSP) is a fundamental task in quantum computing and quantum information processing. It is critical to the execution of many quantum algorithms, including…
cs.DS2025
Image Computation for Quantum Transition Systems
Xin Hong, Dingchao Gao, Sanjiang Li +2
With the rapid progress in quantum hardware and software, the need for verification of quantum systems becomes increasingly crucial. While model checking is a dominant and very suc…