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: ![]() |
Home, Last update: Sat Oct 1 15:35:48 2016 |