Ábrahám, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T. Satisfiability checking and symbolic computation. (English) Zbl 1365.68478 ACM Commun. Comput. Algebra 50, No. 4, 145-147 (2016). MSC: 68W30 68T20 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., ACM Commun. Comput. Algebra 50, No. 4, 145--147 (2016; Zbl 1365.68478) Full Text: DOI arXiv Link
Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). (English) Zbl 1344.68198 Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 28-43 (2016). MSC: 68T15 68W30 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., Lect. Notes Comput. Sci. 9791, 28--43 (2016; Zbl 1344.68198) Full Text: DOI arXiv