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: PDF (198 kB)
Home, Last update: Sat Oct 1 16:35:48 2016