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]
- Symbolic Computation Techniques in Satisfiability CheckingErika Ábrahám. synasc 2016: 3-10 [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]
- Building Bridges between Symbolic Computation and Satisfiability CheckingErika Ábrahám. issac 2015: 1-6 [doi]
- New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)Erika Ábrahám, James H. Davenport, Matthew England 0001, Alberto Griggio. dagstuhl-reports, 12(2):67-86, 2022. [doi]
- 2: Satisfiability Checking Meets Symbolic Computation - (Project Paper)Erika Ábrahám, John Abbott, Bernd Becker, 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. mkm 2016: 28-43 [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]