Symbolic computation and satisfiability checking (Editorial) - Archive ouverte HAL Access content directly
Journal Articles Journal of Symbolic Computation Year : 2020

Symbolic computation and satisfiability checking (Editorial)

(1) , (2) , (3) , (4, 5, 6, 7, 8) , (9)
1
2
3
4
5
6
7
8
9

Abstract

The two communities of Symbolic Computation and Satisfiability Checking have recently found themselves tackling similar problems and having a growing interest in each other’s technology. This special issue presents articles whose contribution is of interest to, and is influenced by, both communities. Given the context of this journal we start this editorial with a more thorough overview of Satisfiability Checking, and then turn to Symbolic Computation and the potentials and challenges for collaboration. The collection of articles in this issue is evidence of the already existing fruitful work at the intersection of these communities.
Fichier principal
Vignette du fichier
EditorialWithCover.pdf (357.23 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02397190 , version 1 (24-11-2021)

Identifiers

Cite

James H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli. Symbolic computation and satisfiability checking (Editorial). Journal of Symbolic Computation, 2020, 100, pp.1-10. ⟨10.1016/j.jsc.2019.07.017⟩. ⟨hal-02397190⟩
73 View
73 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More