Fingerprint
Dive into the research topics of 'SC2 : Satisfiability Checking Meets Symbolic Computation'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
SC2 : Satisfiability Checking Meets Symbolic Computation
Erika Ábrahám, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
- RWTH Aachen University
- University of Kassel
- Albert Ludwigs University of Freiburg
- Johannes Kepler University Linz - JKU
- University of Oxford
- Fondazione Bruno Kessler
- University of Bath
- Université de Lorraine
- Maplesoft Europe Ltd.
- CNRS Centre National de la Recherche Scientifique
- Max Planck Institute for Informatics
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
31
Citations
(Scopus)