Search Results

Documents authored by England, Matthew


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

Authors: Erika Abraham, James H. Davenport, Matthew England, and Alberto Griggio

Published in: Dagstuhl Reports, Volume 12, Issue 2 (2022)


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

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)


Copy BibTex To Clipboard

@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}
}
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