Projects per year
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.
|Journal||Journal of Symbolic Computation|
|Early online date||26 Jul 2019|
|Publication status||Published - 30 Sep 2020|
- Community integration
- Satisfiability checking
- Symbolic computation
ASJC Scopus subject areas
- Algebra and Number Theory
- Computational Mathematics
FingerprintDive into the research topics of 'Symbolic computation and satisfiability checking'. Together they form a unique fingerprint.
- 1 Finished
Real Geometry and Connectedness via Triangular Description
Davenport, J., Bradford, R., England, M. & Wilson, D.
Engineering and Physical Sciences Research Council
1/10/11 → 31/12/15
Project: Research council