The following publications are possibly variants of this publication:
- 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]
- 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]
- 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]
- 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]