马特奥·马雷斯科蒂;安蒂·E·J·海瓦·里宁。;娜塔莎·莎莉吉娜 SMTS:分布式可视化约束求解。 (英语) 兹比尔1415.68197 Barthe,Gilles(编辑)等人,LPAR-22。第22届编程、人工智能和推理逻辑国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:EasyChair。EPiC系列。计算。57, 534-542 (2018). 摘要:并行计算固有的复杂性使得基于并行约束求解的应用程序的开发、资源监控和调试变得困难。本文介绍了SMTS,它是一个将顺序约束求解算法并行化并在分布式计算环境中运行的框架。设计(i)基于通用并行化技术,该技术支持递归组合算法组合和分治与学习信息交换,(ii)通过直观检查并行执行步骤提供监控,以及(iii)通过web界面支持算法的交互式指导。我们报告了在实例化一个SMT求解器和一个IC3求解器的框架、调试并行执行以及可视化SMT实例的求解、结构和学习子句方面的积极经验。关于整个系列,请参见[Zbl 1407.68021号]. 引用于1文件 MSC公司: 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 68宽10 计算机科学中的并行算法 68宽15 分布式算法 关键词:算法组合;分布式IC3;分布式SMT;分而治之;基于web的GUI 软件:打开SMT2;P绑定;恰当的;表面贴装技术;糠 PDF格式BibTeX公司 XML格式引用 \textit{M.Marescotti}等人,EPiC Ser。计算。57、534--542(2018;Zbl 1415.68197) 全文: 内政部