SATO公司 swMATH ID: 4451 软件作者: 张,H 描述: SATO:命题可满足性的求解器:Davis-Putnam方法是命题逻辑可满足性(SAT)问题的主要实用方法之一。在过去十年中,我们开发了一种非常有效的Davis-Putnam方法实现,称为SATO。我们程序的效率使我们能够解决设计理论中的100多个开放拟群问题。我们还使用主从通信模型在网络工作站上进行了SATO实验。一种简单有效的工作负载平衡方法在工作站之间分配工作负载。 主页: http://www.divms.uiowa.edu/~hzhang/sato/ 关键词: 戴维斯·普特南方法;解算器 相关软件: 糠;伯克明州;巴基斯坦国家税务局;超小卫星;DIMACS公司;徒步旅行;Velev SAT基准;ManySAT公司;UnitWalk公司;PicoSAT卫星;SatEx公司;希尔·雨果;SATIRE(饱和);萨特利卜;玲玲;网格卫星;美国公共广播电视公司;围攻;弯曲;z3(零3) 引用于: 190文件 全部的 前5名302位作者引用 11 Joáo P.塞尔瓦侯爵。 8 林奇,因斯 7 恩里科Giunchilia 7 Niemelä,Ilkka N.F。 7 阿曼多·塔切拉 7 范·盖尔德,艾伦 7 张汉涛 6 阿明·比尔 6 张健 5 尤金·戈德伯格。 5 安蒂·E·J·海瓦·里宁。 5 汤米·A·琼蒂拉。 5 亨利·考茨。 5 李楚敏 4 克拉克(Edmund Melson jun Clarke)。 4 福斯托·金奇利亚 4 Laurent S.R.西蒙。 三 亚历山德罗·阿曼多 三 路易斯·巴普蒂斯塔 三 保罗·比姆。 三 玛丽亚·保拉(Maria Paola Bonacina) 三 马来K·加奈。 三 阿尔蒂·古普塔 三 奥利弗·库尔曼 三 丹尼尔·勒贝雷 三 弗拉基米尔·利夫希茨 三 沙拉德·马利克 三 菲利普·马里奇 三 Fumiaki Okushi 三 阿什什·萨巴沃尔 三 托尔斯滕·绍布(Torsten H.Schaub)。 三 法比奥·萨蒙齐 三 特鲁什琴斯基,米洛斯奥 三 保尔·弗雷德里克·威廉姆斯 三 斯特凡·沃尔特兰 三 张林涛 2 尼娜·阿姆拉 2 普拉纳夫·阿沙尔 2 阿卜杜勒瓦赫布·阿亚里 2 David A.Basin。 2 贝恩德·贝克尔 2 弗朗西·布尔格勒 2 布鲁尼,雷纳托 2 克劳迪奥·卡斯泰里尼 2 菲利普·查塔利克 2 卢卡·孔帕尼亚 2 莱昂纳多·德·莫拉 2 吉尔·迪肯 2 尼古拉斯·埃恩 2 托马斯·艾特 2 葛存静 2 奥尔纳·格伦伯格 2 尤塞夫·哈马迪 2 黄,裴 2 黄、卓 2 赛义德·贾布尔 2 Jin,HoonSang先生 2 伯纳德·尤尔科维亚克 2 Küchlin,Wolfgang W。 2 亚历山大·库利科夫。 2 尼古拉·利昂 2 李晓宇 2 刘冷宁 2 马,菲菲 2 很多,费利普 2 劳拉·马拉罗 2 法比奥·马萨奇 2 肯尼思·麦克米兰。 2 安德烈亚斯·梅耶 2 雅科夫·诺维科夫 2 乔迪,飞机 2 史蒂文·普雷斯特维奇。 2 拉赫达尔·塞伊斯 2 阿萨夫·舒斯特 2 巴特·塞尔曼 2 Natarajan Shankar 2 帕特里克·西蒙斯 2 卡斯滕·辛兹 2 沃尔克·索尔格 2 马蒂亚斯·斯托尔曼。 2 汉斯·托姆皮茨 2 马库斯·特里斯卡 2 吉尔·乌塔德 2 亚维·亚德加 2 朱,云山 1 帕罗什·阿齐兹·阿卜杜拉 1 阿奇利奥普塔斯,迪米特里斯 1 艾哈迈德·坦比尔 1 克努特·奥凯森 1 Fadi A.阿卢尔。 1 特蕾莎·阿尔辛 1 安徒生、亨利克·雷夫 1 太棒了,穆罕默德 1 苏海卜·巴里尔 1 托马斯·巴尔约 1 穆苏诺里·班巴拉 1 克拉克·W·巴雷特。 1 君士坦丁·巴齐斯 1 安德烈亚斯·鲍尔 1 比杰西,佩尔 …还有202位作者 全部的 前5名35篇连载文章被引用 11 离散应用数学 11 自动推理杂志 10 数学与人工智能年鉴 6 人工智能 4 符号计算杂志 4 约束条件 4 可满足性、布尔建模与计算杂志 2 国际并行程序设计杂志 2 计算机与运筹学 2 运筹学年鉴 2 欧洲运筹学杂志 2 计算机基础理论 1 信息处理信件 1 富兰克林研究所期刊 1 凯贝内提卡 1 理论计算机科学 1 计算的形式方面 1 AI通信 1 吉泰。实验与理论人工智能杂志 1 离散数学与应用 1 全球优化杂志 1 离散事件动态系统 1 数学编程。A系列B系列 1 系统设计中的形式化方法 1 人工智能研究杂志 1 优化方法和软件 1 组合优化期刊 1 欧洲理论计算机科学协会公报 1 数学学报。英语系列 1 国际应用数学与计算机科学杂志 1 软件杂志 1 4OR(或) 1 中国科学。F系列 1 理论计算机科学电子笔记 1 计算机科学中的逻辑方法 全部的 前5名在12个字段中引用 168 计算机科学(68-XX) 25 数学逻辑和基础(03-XX) 23 运筹学、数学规划(90-XX) 8 组合数学(05-XX) 4 信息与通信理论、电路(94-XX) 三 群论与推广(20-XX) 2 统计学(62-XX) 1 阶、格、有序代数结构(06-XX) 1 变异微积分和最优控制;最优化(49-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文