Keyword:Arithmetic Circuits

Publications
SAT Can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth Luca Mueller and Rolf Drechsler EasyChair Preprint 14322
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