公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2021 | Bit-Slicing the Hilbert Space: Scaling up Accurate Quantum Circuit Simulation | Tsai Y.-H; Jiang J.-H.R; Jhang C.-S.; JIE-HONG JIANG | Proceedings - Design Automation Conference | |||
2021 | Deep Integration of Circuit Simulator and SAT Solver | Zhang H.-T; Jiang J.-H.R; Amaru L; Mishchenko A; Brayton R.; JIE-HONG JIANG | Proceedings - Design Automation Conference | |||
2020 | Symbolic Uniform Sampling with XOR Circuits | Lin Y.-T; Jiang J.-H.R; Kravets V.N.; JIE-HONG JIANG | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD |