Satisfiability checking and symbolic computation

Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001. Satisfiability checking and symbolic computation. ACM Comm. Computer Algebra, 50(4):145-147, 2016. [doi]

Abstract

Abstract is missing.