SC-square

  This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 712689.  

Title

Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems

Concept

The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Whereas Symbolic Computation is concerned with the algorithmic determination of exact solutions to complex mathematical problems, more recent developments in the area of Satisfiability Checking tackle similar problems but with different algorithmic and technological solutions. […] Currently the two communities are largely disjoint and unaware of the achievements of each other, despite strong reasons for them to discuss and collaborate, as they share many central interests. However, researchers from these two communities rarely interact, and also their tools lack common, mutual interfaces for unifiying their strengths. Bridges between the communities in the form of common platforms and roadmaps are necessary to initiate an exchange, and to support and to direct their interaction. These are the main objectives of this CSA.

Participants

• University of Bath, United Kingom (Coordinator)
• Fondazione Bruno Kessler, Italy
• Università degli studi di Genova, Italy
• Maplesoft Europe Ltd., United Kingdom
• Université de Lorraine, France
• Coventry University, United Kingdom
• The Chancellor, Masters and Scholars of the University of Oxford, United Kingdom
• Universität Kassel, Germany
• Max-Planck-Gesellschaft zur Förderung der Wissenschaft e.V., Germany
• Universität Linz, Austria