TY  - RPRT
TI  - Satisfiability Checking meets Symbolic Computation (Project Paper)
AU  - E. Abraham
AU  - J. Abbott
AU  - B. Becker
AU  - A. M. Bigatti
AU  - M. Brain
AU  - B. Buchberger
AU  - A. Cimatti
AU  - J. H. Davenport
AU  - M. England
AU  - P. Fontaine
AU  - S. Forrest
AU  - A. Griggio
AU  - D. Kroening
AU  - W. M. Seiler
AU  - T. Sturm
PY  - 2016
DO  - 10.1007/978-3-319-42547-4_3
UR  - https://arxiv.org/abs/1607.08028
ID  - 1607.08028
ER  -