×

swMATH标识: 6916
软件作者: Moskewicz,M.,Madigan,C.,Zhao,Y.,Zhang,L.和Malik,S
说明: Chaff:设计一个高效的SAT解算器。布尔可满足性可能是组合优化/搜索问题中研究最多的问题。对于在电子设计自动化(EDA)和人工智能(AI)的一系列应用中遇到的问题实例,一直致力于为这个问题提供切实可行的解决方案。这项研究的最终结果是开发了几个SAT软件包,既有专有的,也有公共领域的(如GRASP、SATO),这些软件包在研究和工业中都有重要的用途。大多数现有的完全解算器是Davis-Putnam(DP)搜索算法的变体。在本文中,我们描述了一个新的完整解算器Chaff的开发,它通过对搜索的各个方面进行精心设计,获得了显著的性能增益,特别是布尔约束传播(BCP)的一种特别有效的实现和一种新的低开销决策策略。与其他解算器(包括GRASP和SATO)相比,Chaff能够在困难的SAT基准测试上获得1到2个数量级的性能改进。
主页: http://www.princeton.edu/~chaff/software.html
关键词: SAT解算器
相关软件: 超小卫星;伯克明;佐藤;Walksat公司;围攻;Velev SAT基准;z3型;迪马奇;皮科萨;徘徊;SCIP公司;讽刺;CPLEX公司;柱脚;zChaff公司;努西姆;葡萄糖;曼萨特;普萨托;简化
参考文献: 540种出版物
其他出版物: http://www.princeton.edu/~chaff/publication.html页
全部的 前5名

810位作者引用

17 斯图基,彼得·詹姆斯
13 朱西格里亚,恩里科
12 比尔,阿明
11 席尔瓦侯爵。
11 斯特里奇曼,奥弗
10 朱蒂拉,汤米A。
9 克拉克,埃德蒙·梅尔森俊。
9 诺德斯特伦,雅各布
9 西蒙,劳伦特S.R。
8 阿曼多,亚历山德罗
8 亚历山德罗·西马蒂
8 戈麦斯,卡拉P。
8 麦克米兰,肯尼斯L。
8 塞巴斯蒂安尼,罗伯托
8 塔切拉,阿曼多
7 林奇,因斯
7 马拉茶,马可
7 彭泽克,沃伊切赫
7 阿什郡萨巴沃尔
7 赛斯,拉赫达尔
7 萨卡拉,卡雷姆A。
7 肖布,托尔斯滕H。
6 奥德马尔,吉尔
6 布莱恩特,兰德尔E。
6 加内什,维杰
6 格布瑟,马丁
6 戈德伯格,尤金L。
6 Heljanko,Keijo
6 科宁,丹尼尔
6 劳里亚,马西莫
6 丹尼尔,勒贝尔
6 很多,费利普
6 纳德尔,亚历山大
6 尼美拉,伊尔卡N.F。
6 尼尤文胡斯,罗伯特
6 奥利维拉斯,艾伯特
6 普雷斯特维奇,史蒂文D。
6 辛兹,卡斯滕
6 范盖德,艾伦
6 张林涛
5 贝克,伯纳德
5 贝索尔德,蒂莫
5 德穆拉,莱昂纳多
5 德雷克斯勒,罗尔夫
5 加奈,马来语K。
5 古普塔,奥尔蒂
5 马尔维萨洛,马蒂
5 约翰森,简
5 李楚敏
5 马利克,沙拉德
5 马尔科夫,伊戈尔L。
5 舒特,安德烈亚斯
4 阿彻伯格,托拜厄斯
4 艾拉,尼娜
4 亚沙,普拉纳夫
4 比姆,保罗W。
4 博纳奇娜,玛丽亚·保拉
4 波扎诺,马可
4 布鲁托梅索,罗伯托
4 朱,杰弗里
4 康巴尼亚,卢卡
4 迪切特,瑞娜
4 费迪,蒂博
4 马丁,弗兰兹
4 绅士,伊恩·菲利普
4 Gleixner,Ambros M。
4 希伯拉德,伊曼纽
4 赫德,克里斯蒂安
4 乔瓦诺维奇,德扬
4 本杰明考夫曼
4 考兹,亨利A。
4 霍门科,维克托
4 库库拉,詹姆斯H。
4 拉格尼兹,让-玛丽
4 拉希里,Shuvendu Kumar
4 利昂,尼古拉
4 利勒,尤利娅
4 马里奇,菲利普
4 梅尔,安德烈亚斯
4 南丁格尔,彼得W。
4 里卡,弗朗西斯科
4 罗维里,马可
4 舒伯特,托比亚斯
4 塞尔曼,巴特
4 希尼,侯赛因M。
4 萨曼齐,法比奥
4 索尔格,沃尔克
4 蒂内利,塞萨尔
4 特鲁兹钦斯基,米洛斯ław
4 范罗森,彼得
4 维登巴赫,克里斯托夫
阿罗尔,法迪A。
哈桑阿姆贾德
安索特吉,卡洛斯
阿塞里亚,阿尔伯特
巴克斯,法希姆
阿尔伯托,贝姆帕德
布鲁努赫,莫里斯
卡斯泰利尼,克劳迪奥
科尔顿,西蒙
…还有710位作家
全部的 前5名

引用了71个系列

35 人工智能
26 自动推理杂志
21 数学与人工智能年鉴
21 限制条件
17 可满足性,布尔建模与计算杂志
14 人工智能研究杂志
9 系统设计中的形式化方法
8 运筹学年鉴
7 离散应用数学
6 计算机基础理论
5 理论计算机科学
5 逻辑程序设计理论与实践
5 计算机科学中的逻辑方法
4 通知杂志关于计算
4 计算逻辑学报
4 数学规划计算
暹罗计算机杂志
信息与计算
计算机与运筹学
人工智能通信
欧洲运筹学杂志
数学规划。A系列。B系列
应用逻辑杂志
2 信息处理信函
2 算法杂志
2 计算机程序设计学
2 符号计算杂志
2 计算的形式化方面
2 逻辑与计算杂志
2 启发式杂志
2 国际应用数学与计算机科学杂志
2 应用数学杂志
2 离散优化
2 中国的科学。F系列
2 数学百科全书及其应用
2 计算机科学讲义
1 信息学报
1 离散数学
1 富兰克林学院学报
1 卡罗莱纳大学数学评论
1 IEEE自动控制汇刊
1 计算机与系统科学杂志
1 克贝内提卡
1 纯逻辑与应用逻辑年鉴
1 计算机科学与技术杂志
1 算法
1 国际并行程序设计杂志
1 国际近似推理杂志
1 杰泰。实验与理论人工智能杂志
1 计算几何
1 全球最优化杂志
1 离散事件动态系统
1 国际计算机与系统科学杂志
1 应用非经典逻辑杂志
1 埃及数学学会杂志
1 运筹学国际交易
1 组合优化期刊
1 调度日志
1 欧洲理论计算机科学协会公报
1 优化与工程
1 或光谱
1 4或
1 离散算法杂志
1
1 计算智能研究
1 优化信函
1 电子设计自动化的基础与发展趋势
1 计算理论
1 统计与计算
1 计算机科学评论
1 普里克拉德纳亚-迪克雷特纳亚-马特马提卡

按年份引用出版物