HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Alan Mishchenko

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

Keyphrases

Arithmetic Circuits2, computer algebra2, formal verification2.

Copyright © 2012-2025 easychair.org. All rights reserved.