HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:computer algebra

Papers
SAT, Computer Algebra, Multipliers
Daniela Ritirc, Armin Biere and Manuel Kauers
In:Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Rewriting Environment for Arithmetic Circuit Verification
Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko and Maciej Ciesielski
EasyChair Preprint no. 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
SC-square: when Satisfiability Checking and Symbolic Computation join forces
Erika Ábrahám, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening and Werner M. Seiler
In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Computer algebra investigation of known primitive triangle-free strongly regular graphs
Matan Ziv-Av and Mikhail Klin
In:SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science
Copyright © 2012-2023 easychair.org. All rights reserved.