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 Abstractpeer-review

3 Citations (Scopus)
59 Downloads (Pure)

Fingerprint

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

Mathematics