糖浆 swMATH ID: 25919 软件作者: Audemard,Gilles;Jean-Marie Lagniez;尼古拉斯·斯泽潘斯基(Nicolas Szczepanski);塞巴斯蒂安·塔巴里 描述: 糖浆的分布式版本。组合SAT求解器必须共享子句才能高效。在分布式环境中,这样的共享意味着额外的问题:必须交换更多的信息,并且求解器之间的通信可能很耗时。在本文中,我们提出了最先进的SAT解算器Syrup的新版本,现在可以在分布式体系结构上运行。我们分析和比较了不同的通信编程模型。我们表明,使用专门的方法,可以在不惩罚求解者的情况下共享许多子句。在多达256个内核的SAT 2016基准测试上进行的实验表明,我们的求解器非常有效,优于其他方法。这为需要共享许多数据的并行解算器提供了广泛的可能性。 主页: https://link.springer.com/chapter/10.1007%2F978-3-319-66263-3_14 相关软件: 弯曲;超小卫星;葡萄糖;钙DiCaL;HordeSat公司;加密MiniSat;ManySAT公司;糠;YalSAT卫星;MapleCOMSPS公司;玲玲;Treengeling公司;斯普拉茨;帕拉库巴;mkplot公司;爱格;PySAT公司;GitHub公司;谷物;变速箱 引用于: 4文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 糖浆的分布式版本Audemard,Gilles;Jean-Marie Lagniez;尼古拉斯·斯泽潘斯基(Nicolas Szczepanski);塞巴斯蒂安·塔巴里 2017 全部的 前5名16位作者引用 1 Abd El-Maksoud,穆尼拉A。 1 阿雷格阿卜杜拉 1 阿明·比尔 1 马蒂亚斯·弗勒里 1 伊琳娜·格里巴诺娃 1 马克西米利安·海辛格 1 斯蒂芬·科切马佐夫 1 李楚敏 1 李、余 1 吕志鹏 1 罗,毛 1 很多,费利普 1 伊利亚·奥特普申尼科夫。 1 Aleksandr Anatol’evich塞梅诺夫 1 肖,范 1 奥列格·谢尔盖维奇·扎金 引用于3个系列 1 人工智能 1 埃及数学学会杂志 1 计算机科学中的逻辑方法 在3个字段中引用 4 计算机科学(68至XX) 1 数论(11-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文