Satisfiability Checking and Symbolic Computation

Co-author(s): E. Abraham, J. Abbott, B. Becker, A. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J.H. Davenport, M. England, P. Fontaine, S. Forrest, A. Griggio, D. Kroening and T. Sturm

Reference: ACM Communications in Computer Algebra, 50 (2016) 145-147

Description: This article describes some ideas underlying the European SC-Square project which aims at improving the interaction between the satisfiability checking community and the symbolic computation community. More details can be found on the project web page.

PDF File: (89 kB)

Home, Last update: Fri Mar 1 18:22:10 2019