Key Info

Basic Information

Prof. Dr. Erika Abraham
Faculty / Institution:
Mathematics, Computer Science and Natural Sciences
Excellent Science
Project duration:
01.07.2016 to 31.08.2018
EU contribution:
499.603,75 euros
  EU flag This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 712689.  


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


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.


  • 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