Satisfiability checking and symbolic computation

E. Ábrahám, John Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, M. England, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm

Research output: Contribution to journalArticlepeer-review

3 Citations (SciVal)
209 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Satisfiability checking and symbolic computation'. Together they form a unique fingerprint.

Mathematics