License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.12.2.67
URN: urn:nbn:de:0030-drops-169310
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2022/16931/
Go back to Dagstuhl Reports

Abraham, Erika ; Davenport, James H. ; England, Matthew ; Griggio, Alberto
Weitere Beteiligte (Hrsg. etc.): Erika Abraham and James H. Davenport and Matthew England and Alberto Griggio

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

pdf-format:
dagrep_v012_i002_p067_22072.pdf (6 MB)

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.

BibTeX - Entry

@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/opus/volltexte/2022/16931},
  URN =		{urn:nbn:de:0030-drops-169310},
  doi =		{10.4230/DagRep.12.2.67},
  annote =	{Keywords: computer algebra systems, SMT Solvers, verification}
}

Keywords: computer algebra systems, SMT Solvers, verification
Collection: DagRep, Volume 12, Issue 2
Issue Date: 2022
Date of publication: 23.08.2022

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI