The following publications are possibly variants of this publication:
- SC-square: when Satisfiability Checking and Symbolic Computation join forcesErika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler. cade 2017: 6-10 [doi]