Author:Tiankai Su

Publications
Rewriting Environment for Arithmetic Circuit Verification Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko and Maciej Ciesielski EasyChair Preprint 662
Rewriting Environment for Arithmetic Circuit Verification Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko and Maciej Ciesielski In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning