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.
@Article{abraham_et_al:DagRep.12.2.67, author = {Abraham, Erika and Davenport, James H. and England, Matthew and Griggio, Alberto}, title = {{New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)}}, pages = {67--86}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2022}, volume = {12}, number = {2}, editor = {Abraham, Erika and Davenport, James H. and England, Matthew and Griggio, Alberto}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.2.67}, URN = {urn:nbn:de:0030-drops-169310}, doi = {10.4230/DagRep.12.2.67}, annote = {Keywords: computer algebra systems, SMT Solvers, verification} }
Feedback for Dagstuhl Publishing