Document Open Access Logo

New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)

Authors Erika Abraham, James H. Davenport, Matthew England, Alberto Griggio and all authors of the abstracts in this report

PDF

File

Thumbnail PDF
PDF
DagRep.12.2.67.pdf
  • Filesize: 6.41 MB
  • 20 pages

Document Identifiers

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)
    0
    PDF Downloads
    0
    Metadata Views

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.

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

Author Details

Erika Abraham
  • RWTH Aachen University, DE
James H. Davenport
  • University of Bath, GB
Matthew England
  • Coventry University, GB
Alberto Griggio
  • Fondazione Bruno Kessler - Trento, IT
and all authors of the abstracts in this report
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact