Satisfiability Checking and 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 and T. Sturm
Reference: ACM Communications in Computer Algebra, 50 (2016) 145-147
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 (89 kB)
Home, Last update: Fri Mar 1 18:22:10 2019