Satisfiability Checking and Symbolic Computation

07/23/2016
by   E. Abraham, et al.
0

Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC-square to build a joint community in this area, supported by a newly accepted EU (H2020-FETOPEN-CSA) project of the same name. We aim to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap. This abstract and accompanying poster describes the motivation and aims for the project, and reports on the first activities.

READ FULL TEXT

page 1

page 2

page 3

research
07/27/2016

Satisfiability Checking meets Symbolic Computation (Project Paper)

Symbolic Computation and Satisfiability Checking are two research areas,...
research
09/29/2016

Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition

In the paper which inspired the SC-Square project, [E. Abraham, Building...
research
11/01/2017

The Potential and Challenges of CAD with Equational Constraints for SC-Square

Cylindrical algebraic decomposition (CAD) is a core algorithm within Sym...
research
06/30/2023

The Complexity of Satisfiability Checking for Symbolic Finite Automata

We study the satisfiability problem of symbolic finite automata and deco...
research
04/04/2009

Optimal Tableau Decision Procedures for PDL

We reformulate Pratt's tableau decision procedure of checking satisfiabi...
research
03/26/2019

MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃^*∀^* Fragment

Hyperproperties are properties that refer to multiple computation traces...
research
05/05/2021

The EMPATHIC Project: Mid-term Achievements

The goal of active aging is to promote changes in the elderly community ...

Please sign up or login with your details

Forgot password? Click here to reset