Satisfiability Checking and Symbolic Computation

E. Abraham, J. Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, Matthew England, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm

Research output: Contribution to journalMeeting Abstract

2 Citations (Scopus)
57 Downloads (Pure)

Fingerprint Dive into the research topics of 'Satisfiability Checking and Symbolic Computation'. Together they form a unique fingerprint.

Mathematics