×

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位作者

按年份列出的引文