NAGSAT公司 swMATH ID: 11453 软件作者： Forman，S.L.，Segre，A.M.公司。 描述： NAGSAT：一个用于3-SAT的随机、完整、并行求解器。此扩展抽象描述了一个3-SAT求解器NAGSAT，它利用nagging，一种新的可扩展、容错、分布式搜索范式。Nagging利用3-SAT解决方案时间的繁重分布，对问题或问题的部分进行多次重新编排。Nagging是一种通用、完整的搜索架构，已应用于艺术智能文献中的各种算法。在这个摘要中，我们展示了使用DPLL算法求解3-SAT实例的初步结果，并概述了我们当前用于改进nagsat的一些操作。 主页： http://www.researchgate.net/publication/2494539_NAGSAT_A_Randomized_Complete_Parallel_Solver_for_3-SAT 相关软件： 齐塔卫星;伯克明州;糠;网格卫星;Globus工具包;GrADSAT公司;全球ADS;网格实验室;UnitWalk公司;超小卫星;SATO公司;玲玲;PaSAT公司;帕米拉;安托姆;QMiraXT公司;皮科索;PMSat公司;PMiniSAT公司;SArTagnan公司 引用于： 3文件 全部的 前5名8位作者引用 1 瓦希德·查拉巴赫 1 布鲁诺·科德诺蒂 1 林奇，因斯 1 Vasco M.Manquinho。 1 鲁本·马丁斯 1 阿尔贝托·玛丽亚·塞格雷 1 里奇·沃尔斯基 1 杨寿喜 2篇连载文章中引用 1 计算机与运筹学 1 约束条件 在3个字段中引用 2 计算机科学（68至XX） 2 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文