Fingerprint
Dive into the research topics of 'SC2: Satisfiability Checking meets Symbolic Computation (Project Paper)'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
SC2: Satisfiability Checking meets Symbolic Computation (Project Paper)
Erika Abraham, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner Seiler, Thomas Sturm
- Coventry University
- RWTH Aachen University
- University of Kassel
- University of Freiburg
- University of Genoa
- University of Oxford
- Johannes Kepler Universität
- Fondazione Bruno Kessler
- Université de Lorraine
- Maplesoft Europe Ltd
- Max Planck Institute for Informatics
- Laboratoire lorrain de recherche en informatique et ses applications
Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
31
Citations
(SciVal)