第7届PAAR/5th SC²2020:在线活动/法国巴黎
帕斯卡·方丹 , 康斯坦丁柯罗文 , 伊利亚斯·科齐里亚斯 , 菲利普·吕默 , 索菲·图雷特 :
2020年,第七届自动推理实用方面研讨会(PAAR)和第五届可满足性检查和符号计算研讨会(SC-Square)的联合会议记录,与第十届国际自动推理联合会议(2020年IJCAR)合办,法国巴黎,2020年6月-7月(虚拟)。 CEUR研讨会记录 2752, CEUR-WS.org公司 2020
2020年自动化推理实践方面研讨会
佩德罗·巴罗佐 , 马里奥·佩雷拉 , 安托尼奥·拉瓦拉 :
动画逻辑:正确的功能转换为连接范式。 1-20 菲利普·巴特克 , 马丁·苏达 :
从简单符号特征学习优先顺序。 21-33 伯恩哈德·格雷斯 , 马丁·苏达 :
饱和定理证明的分层子句选择。 34-52 罗伯特·刘易斯 , 保罗·尼科拉斯·马德兰 :
简化铸造和强制(扩展摘要)。 53-62 刘庆华 , 吴子诗 , 王子豪 , 杰夫·萨特克利夫 :
公理选择技术评估。 63-75 本杰明·E·奥利弗 , 延斯·奥顿 :
连接计算中的等式预处理。 76-92 托马斯·普罗科什 , 弗朗索瓦·布里 :
尝试推理。 93-108 迈克尔·劳森 , 贾尔斯·雷格尔 :
逻辑推理的有向图网络(扩展抽象)。 109-119 康斯坦丁·鲁多夫 , 斯蒂芬·舒尔茨 :
高效实施大规模监视列表。 120-133 纳库·赛迪 , 汉娜·齐格弗里德 , 斯蒂芬·舒尔茨 , 杰夫·萨特克利夫 :
减少TPTP语言(及其他)。 134-147 彼得·武克米洛维奇 , Visa Nummelin卡 :
高阶叠加证明程序中的布尔推理。 148-166 Sen Zheng先生 , 雷娜特·施密特 :
通过解析查询保护片段(扩展摘要)。 167-177
2020年满意度检查和符号计算研讨会
埃里卡·阿布拉哈姆 , 詹姆斯·达文波特 , 马修·英格兰 , Gereon Kremer公司 , 扎克·唐克斯 :
计算实几何形式证明的新机会? (扩展摘要)。 178-188 克里斯托夫·吕德斯 :
用可满足模理论(SMT)解算器计算热带流行区。 189-203 罗伯特·瓦伊达 , 佐尔坦·科瓦奇 :
GeoGebra和 现实主义 推理工具。 204-219