Bit-Slicing the Hilbert Space: Scaling Up Accurate Quantum Circuit Simulation to a New Level. - Yuan-Hung Tsai; Jie-Hong R. Jiang; Chiao-Shan Jhang (CoRR, 2020)

Bit-Slicing the Hilbert Space: Scaling Up Accurate Quantum Circuit Simulation. - Yuan-Hung Tsai; Jie-Hong R. Jiang; Chiao-Shan Jhang (DAC, 2021)

Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification. - Chun-Yu Wei; Yuan-Hung Tsai; Chiao-Shan Jhang; Jie-Hong R. Jiang (DAC, 2022)