Jian Hu, Yun Kang, Yongyang Hu, Haitao Yang 0006, Le Tong, Jie Cheng, Junquan Deng. DssEC: A Deep State Sequence Based Equivalence Checker. In Ali Emrouznejad, Jui-Sheng Rayson Chou, editors, CSAE 2021: The 5th International Conference on Computer Science and Application Engineering, Sanya, China, October 19 - 21, 2021. ACM, 2021. [doi]
@inproceedings{HuKH0TCD21,
title = {DssEC: A Deep State Sequence Based Equivalence Checker},
author = {Jian Hu and Yun Kang and Yongyang Hu and Haitao Yang 0006 and Le Tong and Jie Cheng and Junquan Deng},
year = {2021},
doi = {10.1145/3487075.3487106},
url = {https://doi.org/10.1145/3487075.3487106},
researchr = {https://researchr.org/publication/HuKH0TCD21},
cites = {0},
citedby = {0},
booktitle = {CSAE 2021: The 5th International Conference on Computer Science and Application Engineering, Sanya, China, October 19 - 21, 2021},
editor = {Ali Emrouznejad and Jui-Sheng Rayson Chou},
publisher = {ACM},
isbn = {978-1-4503-8985-3},
}