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]
Abstract is missing.