Satisfiability checking meets symbolic computation (CICM 2016: Intelligent Computer Mathematics, 2016)

(untitled) - Abraham, E; Abbott, J; Becker, B; Bigatti, A; Brain, M; Buchberger, B; Cimatti, A; Davenport, J; England, M; Fontaine, P; Forrest, S; Griggio, A; et al.