表面贴装技术 swMATH ID: 29289 软件作者： 马泰奥·马雷斯科蒂；Hyvärinen，Antti E.J。；娜塔莎·莎莉吉娜 描述： SMTS：分布式可视化约束求解。并行计算固有的复杂性使得基于并行约束求解的应用程序的开发、资源监控和调试变得困难。本文介绍了SMTS，它是一个将顺序约束求解算法并行化并在分布式计算环境中运行的框架。设计（i）基于通用并行化技术，该技术支持递归组合算法组合和分治与学习信息交换，（ii）通过直观检查并行执行步骤提供监控，以及（iii）通过web界面支持算法的交互式指导。我们报告了在实例化一个SMT求解器和一个IC3求解器的框架、调试并行执行以及可视化SMT实例的求解、结构和学习子句方面的积极经验。 主页： https://easychair.org/publications/paper/k7BQ 关键词： 算法组合;分布式IC3;分布式SMT;分而治之;基于web的GUI 相关软件： 打开SMT2;树自动管理器;数学SAT5;StarExec公司;Yices公司;恰当的;P绑定;糠 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 SMTS：分布式可视化约束求解。 Zbl 1415.68197号马特奥·马雷斯科蒂;Hyvärinen，Antti E.J。;娜塔莎·莎莉吉娜 2018 4位作者引用 1 安蒂·E·J·海瓦·里宁。 1 马特奥·马雷斯科蒂 1 菲利普·吕默 1 娜塔莎·莎莉吉娜 0连载引用 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文