The following publications are possibly variants of this publication:
- Symbolic computation and satisfiability checkingJames H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm 0001, Cesare Tinelli. JSC, 100:1-10, 2020. [doi]
- Satisfiability checking and symbolic computationErika Á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. cca, 50(4):145-147, 2016. [doi]
- Symbolic Computation Techniques in Satisfiability CheckingErika Ábrahám. synasc 2016: 3-10 [doi]
- Building Bridges between Symbolic Computation and Satisfiability CheckingErika Ábrahám. issac 2015: 1-6 [doi]
- Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471)Erika Ábrahám, Pascal Fontaine, Thomas Sturm 0001, Dongming Wang. dagstuhl-reports, 5(11):71-89, 2015. [doi]
- 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]