DagRep.12.2.67.pdf
- Filesize: 6.41 MB
- 20 pages
Document
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 12, Issue 2
Volume: Dagstuhl Reports, Volume 12
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2022-08-23
Cite As Get BibTex
Erika Abraham, James H. Davenport, Matthew England, and Alberto Griggio. New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). In Dagstuhl Reports, Volume 12, Issue 2, pp. 67-86, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/DagRep.12.2.67
Abstract
Dagstuhl Seminar 22072 gathered researchers from Symbolic Computation and Satisfiability Checking. These communities have independent histories but worked together in recent years (e.g. Dagstuhl Seminar 15471 and the EU SC-Square Project). We seek to tackle problems which are in the interest of both communities, and require the expertise of both to overcome.
Subject Classification
ACM Subject Classification
- Computing methodologies → Symbolic and algebraic manipulation
- Theory of computation → Automated reasoning
Keywords
- computer algebra systems
- SMT Solvers
- verification
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads