符号计算和可满足性检验的新视角(Dagstuhl Seminar 22072)

Dagstuhl reports Pub Date : 2022-01-01 DOI:10.4230/DagRep.12.2.67

E. Ábrahám, J. Davenport, M. England, A. Griggio

{"title":"符号计算和可满足性检验的新视角(Dagstuhl Seminar 22072)","authors":"E. Ábrahám, J. Davenport, M. England, A. Griggio","doi":"10.4230/DagRep.12.2.67","DOIUrl":null,"url":null,"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.","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"67-86"},"PeriodicalIF":0.0000,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)\",\"authors\":\"E. Ábrahám, J. Davenport, M. England, A. Griggio\",\"doi\":\"10.4230/DagRep.12.2.67\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":91064,\"journal\":{\"name\":\"Dagstuhl reports\",\"volume\":\"12 1\",\"pages\":\"67-86\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Dagstuhl reports\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4230/DagRep.12.2.67\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Dagstuhl reports","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4230/DagRep.12.2.67","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

Dagstuhl研讨会22072聚集了符号计算和可满足性检查的研究人员。这些社区有独立的历史，但近年来合作(例如Dagstuhl Seminar 15471和EU SC-Square Project)。我们力求解决符合两族利益的问题，这些问题需要双方的专门知识来克服。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Dagstuhl reports

自引率

0.00%

发文量