SC-Square: When Satisfiability Checking and Symbolic Computation Join Forces

Erika Abraham, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Abstract

Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but with common interests, e.g., 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 the SC-Square initiative 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.
Original languageEnglish
Title of host publicationARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
EditorsGiles Reger, Dmitriy Traytel
PublisherEasyChair
Pages6-10
Number of pages5
Volume51
DOIs
Publication statusPublished - 8 Nov 2017
EventAutomated Reasoning: Challenges, Applications, Directions, Exemplary Achievements - Gothenburg, Sweden
Duration: 6 Aug 20176 Aug 2017
Conference number: 1
http://www.cs.man.ac.uk/~regerg/arcade/

Workshop

WorkshopAutomated Reasoning
Abbreviated titleARCADE
CountrySweden
CityGothenburg
Period6/08/176/08/17
Internet address

Keywords

  • automated reasoning
  • computer algebra
  • satisfiability checking
  • symbolic computation

Fingerprint Dive into the research topics of 'SC-Square: When Satisfiability Checking and Symbolic Computation Join Forces'. Together they form a unique fingerprint.

  • Cite this

    Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Cimatti, A., ... Seiler, W. M. (2017). SC-Square: When Satisfiability Checking and Symbolic Computation Join Forces. In G. Reger, & D. Traytel (Eds.), ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (Vol. 51, pp. 6-10). EasyChair. https://doi.org/10.29007/p319