SC-Square: Satisfiability Checking meets 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 und T. Sturm

Reference: Conference on Intelligent Computer Mathematics - CICM 2016, M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa (eds.), Lecture Notes in Artificial Intelligence 9791, pp. 28-43

Description: This article describes the European SC-Square project which aims at improving the interaction between the satisfiability checking community and the symbolic computation community and which started shortly before this paper was accepted. More details can be found on the project web page.

PDF File: (198 kB)

Home, Last update: Sat Oct 1 15:35:48 2016