Rewriting Environment for Arithmetic Circuit Verification

Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko, Maciej J. Ciesielski. Rewriting Environment for Arithmetic Circuit Verification. In Gilles Barthe, Geoff Sutcliffe, Margus Veanes, editors, LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018. Volume 57 of EPiC Series in Computing, pages 656-666, EasyChair, 2018. [doi]

Abstract

Abstract is missing.