TY  - RPRT
TI  - Satisfiability Checking and Symbolic Computation
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.1145/3055282.3055285
UR  - https://arxiv.org/abs/1607.06945
ID  - 1607.06945
ER  -