×

Zchaff2004型

swMATH ID: 1032
软件作者： Yogesh S.Mahajan。；傅朝辉；沙拉德·马利克
描述： 布尔可满足性问题（SAT）是一个众所周知的NP-完全问题。虽然它的复杂性仍然是理论计算机科学家许多有趣问题的来源，但近年来该问题已发现许多实际应用。能够处理大型结构化SAT实例的高效SAT解算器的出现，使得SAT求解器能够在电子设计自动化和人工智能等不同领域中使用。这些应用程序继续推动更快、更健壮的SAT解算器的开发。在本文中，我们描述了流行的SAT解算器zchaff，重点介绍了其最新发展。
主页： http://www.princeton.edu/~chaff/zchaff.html
相关软件： 超小卫星;糠;Berk最小值;zChaff公司;SMT-LIB公司;萨特齐拉;PicoSAT卫星;尤里卡;围攻;多晶的;SATIRE（饱和）;现场;古罗比;小型计算机;PRMLT公司;minFunc（最小功能）;加密MiniSat;协和式飞机;LKH（小时）;CPLEX公司
引用于： 16文件
更多出版物： http://www.princeton.edu/~chaff/publication.html

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
Zchaff2004：一个高效的SAT解算器。 Zbl 1122.68610号
Yogesh S.马哈扬。;傅朝辉;沙拉德·马利克
2005
全部的 前5名

35位作者引用

三 亚历山大·纳德尔
三 拉尔斯·施韦
2 纳鸿·德肖维茨
2 齐亚德·汉娜
2 霍尔格·H·胡斯。
2 弗兰克·哈特
2 凯文·莱顿·布朗
2 徐，林
1 卡洛斯·安索特吉
1 米克尔波菲尔
1 Jürgen G.Bokowski。
1 Samuel R.巴斯。
1 阿德南·达尔维切
1 吉列尔莫·德伊塔·卢纳
1 傅朝辉
1 布兰科·格伦巴姆
1 何塞·安东尼奥·埃尔南德斯
1 霍夫曼，简·菲利普
1 茨城，东芝
1 高市今道
1 詹·约翰森
1 Yuichi Koga
1 奥利弗·库尔曼
1 Yogesh S.马哈扬。
1 沙拉德·马利克
1 马西亚尔·罗梅罗、何塞·雷蒙多
1 广岛长垣
1 Koji Nonobe公司
1 米克尔帕拉西
1 Pipatsrisawat，结
1 瓦迪姆·雷夫钦
1 约塞普·苏伊
1 马图·维拉雷特
1 Mutsunori Yagiura
1 伊曼纽尔·扎尔帕斯
全部的 前5名

7篇连载文章中引用

2 人工智能
1 欧洲组合数学杂志
1 离散和计算几何
1 数学编程。A系列B系列
1 人工智能研究杂志
1 约束条件
1 计算机科学中的逻辑方法
全部的 前5名

在6个字段中引用

12 计算机科学（68至XX）
三 凸几何和离散几何（52至XX）
三 运筹学、数学规划（90-XX）
2 数学逻辑和基础（03-XX）
1 组合数学（05-XX）
1 几何图形（51至XX）

按年份列出的引文