\(\mathsf {SC}^\mathsf{2} \): Satisfiability Checking Meets Symbolic Computation

(Project Paper)
  • Erika Ábrahám
  • John Abbott
  • Bernd Becker
  • Anna M. Bigatti
  • Martin Brain
  • Bruno Buchberger
  • Alessandro Cimatti
  • James H. Davenport
  • Matthew England
  • Pascal Fontaine
  • Stephen Forrest
  • Alberto Griggio
  • Daniel Kroening
  • Werner M. Seiler
  • Thomas Sturm
Conference paper

DOI: 10.1007/978-3-319-42547-4_3

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9791)
Cite this paper as:
Ábrahám E. et al. (2016) \(\mathsf {SC}^\mathsf{2} \): Satisfiability Checking Meets Symbolic Computation. In: Kohlhase M., Johansson M., Miller B., de Moura L., Tompa F. (eds) Intelligent Computer Mathematics. CICM 2016. Lecture Notes in Computer Science, vol 9791. Springer, Cham

Abstract

Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite their commonalities, the two communities are rather weakly connected. The aim of our newly accepted \(\mathsf {SC}^\mathsf{2} \) project (H2020-FETOPEN-CSA) is to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap from theory along the way to tools and (industrial) applications. In this paper we report on the aims and on the first activities of this project, and formalise some relevant challenges for the unified \(\mathsf {SC}^\mathsf{2} \) community.

Keywords

Logical problems Symbolic computation Computer algebra systems Satisfiability checking Satisfiability modulo theories 

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Erika Ábrahám
    • 1
  • John Abbott
    • 12
  • Bernd Becker
    • 2
  • Anna M. Bigatti
    • 3
  • Martin Brain
    • 11
  • Bruno Buchberger
    • 4
  • Alessandro Cimatti
    • 5
  • James H. Davenport
    • 6
  • Matthew England
    • 7
  • Pascal Fontaine
    • 9
  • Stephen Forrest
    • 10
  • Alberto Griggio
    • 5
  • Daniel Kroening
    • 11
  • Werner M. Seiler
    • 12
  • Thomas Sturm
    • 8
    • 13
  1. 1.RWTH Aachen UniversityAachenGermany
  2. 2.Albert-Ludwigs-UniversitätFreiburgGermany
  3. 3.Università Degli Studi di GenovaGenovaItaly
  4. 4.Johannes Kepler UniversitätLinzAustria
  5. 5.Fondazione Bruno KesslerTrentoItaly
  6. 6.University of BathBathUK
  7. 7.Coventry UniversityCoventryUK
  8. 8.CNRS, LORIA, InriaNancyFrance
  9. 9.LORIA, InriaUniversité de LorraineNancyFrance
  10. 10.Maplesoft Europe Ltd.AachenGermany
  11. 11.University of OxfordOxfordUK
  12. 12.Universität KasselKasselGermany
  13. 13.Max-Planck-Institut für InformatikSaarbrückenGermany

Personalised recommendations