SC^2 Challenges: When Satisfiability Checking and Symbolic Computation Join Forces

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

Reference: Proceedings Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2017), G. Reger, D. Traytel (eds.), EPiC Series in Computing 51, pp. 6-10

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: (297 kB)

Home, Last update: Sun Nov 12 14:56:58 2017