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
32
Link opens in a new tab
Citations
(Scopus)