2026-07-21T20:03:35Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:16931 2026-04-20T13:31:39Z ddc:004 open_access

New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) Abraham, Erika Davenport, James H. England, Matthew Griggio, Alberto computer algebra systems SMT Solvers verification 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Erika Abraham and James H. Davenport and Matthew England and Alberto Griggio 2022 Is Part Of Dagstuhl Reports, Volume 12, Issue 2 (2022) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.12.2.67 urn:nbn:de:0030-drops-169310 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.2.67 eng https://creativecommons.org/licenses/by/4.0/legalcode