Symbolic computation and satisfiability checking

James H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli

Research output: Contribution to journalEditorial

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.

Original languageEnglish
JournalJournal of Symbolic Computation
Early online date26 Jul 2019
DOIs
Publication statusE-pub ahead of print - 26 Jul 2019

Keywords

  • Community integration
  • Satisfiability checking
  • Symbolic computation

ASJC Scopus subject areas

  • Algebra and Number Theory
  • Computational Mathematics

Cite this

Symbolic computation and satisfiability checking. / Davenport, James H.; England, Matthew; Griggio, Alberto; Sturm, Thomas; Tinelli, Cesare.

In: Journal of Symbolic Computation, 26.07.2019.

Research output: Contribution to journalEditorial

Davenport, James H. ; England, Matthew ; Griggio, Alberto ; Sturm, Thomas ; Tinelli, Cesare. / Symbolic computation and satisfiability checking. In: Journal of Symbolic Computation. 2019.
@article{4b739e1f4890403993d4e9fc02b6ff30,
title = "Symbolic computation and satisfiability checking",
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.",
keywords = "Community integration, Satisfiability checking, Symbolic computation",
author = "Davenport, {James H.} and Matthew England and Alberto Griggio and Thomas Sturm and Cesare Tinelli",
note = "Editorial for Special Issue",
year = "2019",
month = "7",
day = "26",
doi = "10.1016/j.jsc.2019.07.017",
language = "English",
journal = "Journal of Symbolic Computation",
issn = "0747-7171",
publisher = "Elsevier Academic Press Inc",

}

TY - JOUR

T1 - Symbolic computation and satisfiability checking

AU - Davenport, James H.

AU - England, Matthew

AU - Griggio, Alberto

AU - Sturm, Thomas

AU - Tinelli, Cesare

N1 - Editorial for Special Issue

PY - 2019/7/26

Y1 - 2019/7/26

N2 - 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.

AB - 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.

KW - Community integration

KW - Satisfiability checking

KW - Symbolic computation

UR - http://www.scopus.com/inward/record.url?scp=85069940779&partnerID=8YFLogxK

U2 - 10.1016/j.jsc.2019.07.017

DO - 10.1016/j.jsc.2019.07.017

M3 - Editorial

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

SN - 0747-7171

ER -