Fingerprint
Dive into the research topics of 'SC2 : Satisfiability Checking Meets Symbolic Computation'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review