Fingerprint
Dive into the research topics of 'SC-Square: When Satisfiability Checking and Symbolic Computation Join Forces'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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, Werner M. Seiler
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review