Journal article
Symbolic computation and satisfiability checking
Journal of symbolic computation, Vol.100, pp.1-10
09/01/2020
DOI: 10.1016/j.jsc.2019.07.017
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. (C) 2019 Elsevier Ltd. All rights reserved.
Details
- Title: Subtitle
- Symbolic computation and satisfiability checking
- Creators
- James H. Davenport - University of BathMatthew England - Coventry UniversityAlberto Griggio - Fondazione Bruno KesslerThomas Sturm - Université de LorraineCesare Tinelli - University of Iowa
- Resource Type
- Journal article
- Publication Details
- Journal of symbolic computation, Vol.100, pp.1-10
- Publisher
- Elsevier
- DOI
- 10.1016/j.jsc.2019.07.017
- ISSN
- 0747-7171
- eISSN
- 1095-855X
- Number of pages
- 10
- Grant note
- H2020-FETOPEN-2016-2017-CSA project SC2(712689) / EU; European Commission EP/J003247/1 / EPSRC; UK Research & Innovation (UKRI); Engineering & Physical Sciences Research Council (EPSRC)
- Language
- English
- Date published
- 09/01/2020
- Academic Unit
- Computer Science
- Record Identifier
- 9984259487602771
Metrics
8 Record Views