HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:John Abbott

Publications
SC-square: when Satisfiability Checking and Symbolic Computation join forces
Erika Abraham, 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

Keyphrases

automated reasoning, computer algebra, satisfiability checking, symbolic computation.

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