Symbolic computation and satisfiability checking

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

    Research output: Contribution to journalEditorial

    8 Citations (Scopus)
    159 Downloads (Pure)


    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
    Pages (from-to)1-10
    Number of pages10
    JournalJournal of Symbolic Computation
    Early online date26 Jul 2019
    Publication statusPublished - 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


    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.


    • Community integration
    • Satisfiability checking
    • Symbolic computation

    ASJC Scopus subject areas

    • Algebra and Number Theory
    • Computational Mathematics


    Dive into the research topics of 'Symbolic computation and satisfiability checking'. Together they form a unique fingerprint.

    Cite this