Symbolic computation and satisfiability checking

J.H. Davenport; Matthew England; A. Griggio; T. Sturm; C Tinelli

doi:10.1016/j.jsc.2019.07.017

Symbolic computation and satisfiability checking

J.H. Davenport, Matthew England, A. Griggio, T. Sturm, C Tinelli

Research output: Contribution to journal › Editorial

10 Citations (Scopus)

175 Downloads (Pure)

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 language	English
Pages (from-to)	1-10
Number of pages	10
Journal	Journal of Symbolic Computation
Volume	100
Early online date	26 Jul 2019
DOIs	https://doi.org/10.1016/j.jsc.2019.07.017
Publication status	Published - 1 Sept 2020

Bibliographical note

NOTICE: this is the author’s version of a work that was accepted for publication in Journal of Symbolic Computation. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Journal of Symbolic Computation, 100, (2020)
DOI: 10.1016/j.jsc.2019.07.017

© 2020, Elsevier. Licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/

Funder

Much of the editorial work for this special issue, as well as the work for many of the articles, was supported by EU H2020-FETOPEN-2016-2017-CSA project SC2 (712689). The editors thank all the external reviewers for their detailed and thoughtful comment on the articles in this special issue.

Keywords

Community integration
Satisfiability checking
Symbolic computation

ASJC Scopus subject areas

Algebra and Number Theory
Computational Mathematics

Access to Document

10.1016/j.jsc.2019.07.017

Post-PrintAccepted author manuscript, 414 KBLicence: CC BY-NC-ND

Cite this

@article{053c635b3fff43d08f2aa20f933bdfd2,

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 = "J.H. Davenport and Matthew England and A. Griggio and T. Sturm and C Tinelli",

note = "NOTICE: this is the author{\textquoteright}s version of a work that was accepted for publication in Journal of Symbolic Computation. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Journal of Symbolic Computation, 100, (2020) DOI: 10.1016/j.jsc.2019.07.017 {\textcopyright} 2020, Elsevier. Licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/ ",

year = "2020",

month = sep,

day = "1",

doi = "10.1016/j.jsc.2019.07.017",

language = "English",

volume = "100",

pages = "1--10",

journal = "Journal of Symbolic Computation",

issn = "0747-7171",

publisher = "Elsevier",

}

TY - JOUR

T1 - Symbolic computation and satisfiability checking

AU - Davenport, J.H.

AU - England, Matthew

AU - Griggio, A.

AU - Sturm, T.

AU - Tinelli, C

N1 - NOTICE: this is the author’s version of a work that was accepted for publication in Journal of Symbolic Computation. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Journal of Symbolic Computation, 100, (2020) DOI: 10.1016/j.jsc.2019.07.017 © 2020, Elsevier. Licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/

PY - 2020/9/1

Y1 - 2020/9/1

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

SN - 0747-7171

VL - 100

SP - 1

EP - 10

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

ER -

Symbolic computation and satisfiability checking

Abstract

Bibliographical note

Funder

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this