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: PDF (297 kB)
Home, Last update: Sun Nov 12 15:56:58 2017