zChaff公司 swMATH ID: 4757 软件作者: 约格什·马哈扬 描述: zChaff是众所周知的CHAFF的实现,CHAFF是解决可满足性(SAT)问题的算法。它在2002年SAT竞赛中获得了工业和手工基准类的最佳完全解算器,并在2004年SAT竞赛中获得了工业基准类的最佳完全解算器。它是一个流行的解算器,可以编译成一个可链接的库,以便与用户应用程序轻松集成。 主页: http://www.princeton.edu/~chaff/zchaff.html 编程语言: 无 操作系统: 使用g++作为编译器的Solaris/Linux/Cygwin计算机,使用Visual Studio的Windows 依赖项: 无 相关软件: 糠;超小卫星;伯克明州;SATO公司;Zchaff2004型;徒步旅行;CVC精简版;SBSAT卫星;马戏团;SATLIB公司;RSat公司;HOL灯;Coq公司;伊莎贝尔/HOL;ACL2型;CUDD公司;南美林猫;PVS公司;伊莎贝尔;利马特河 引用于: 32文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Zchaff2004:一个高效的SAT求解器。 Zbl 1122.68610号Yogesh S.马哈扬。;傅朝辉;沙拉德·马利克 2005 全部的 前5名91位作者引用 2 米歇尔·阿尔芒 2 傅朝辉 2 本杰明·格雷戈里 2 沙拉德·马利克 2 潘国强 2 Laurent Théry 2 莫西·亚亚科夫·瓦尔迪 1 哈桑·阿姆贾德 1 奥利维尔·贝勒 1 穆苏诺里·班巴拉 1 贝恩德·贝克尔 1 阿明·比尔 1 阿列克桑达尔·比科夫 1 Evgeny V.博丹。 1 亚辛·布夫哈德 1 布莱恩·布雷迪(Bryan A.Brady)。 1 布鲁尼,雷纳托 1 Randal E.布莱恩特。 1 迈克尔·科迪什 1 马西莫·达安东尼奥 1 乔治·德尔扎诺 1 纳鸿·德肖维茨 1 迈克尔·德兰斯菲尔德。 1 罗尔夫·德雷克斯勒 1 安德烈·杜奈茨 1 德国福雷 1 格什温·菲 1 约翰·V·佛朗哥。 1 马丁·范策尔 1 马丁·格布瑟 1 奥尔纳·格伦伯格 1 郭文胜 1 齐亚德·汉娜 1 克里斯蒂安·赫尔德 1 爱德华·赫施。 1 威廉·N·洪。 1 井上,Katsumi 1 贾海霞 1 景、明戈 1 香塔尔·凯勒 1 米查尔·库里尔 1 丹尼尔·科宁 1 法律,Yat Chiu 1 丹尼尔·勒贝雷 1 李,吉米·霍曼 1 马修·刘易斯。 1 Yogesh S.马哈扬。 1 Manolios,Panagiotis公司 1 克里斯托弗·摩尔 1 亚历山大·纳德尔 1 内迪亚尔科·迪莫夫·内诺夫 1 奥尔加·奥里蒙科 1 乔尔·欧·瓦克宁。 1 埃米尔森·佩雷拉·莱特 1 沃尔夫冈·雷夫 1 奥利维尔·罗塞尔 1 安德烈·桑托里 1 吉藤佐香 1 托尔斯滕·绍布(Torsten H.Schaub)。 1 格哈德·谢尔霍恩 1 约翰·斯图尔特·施利普夫 1 舒伯特、托比亚斯 1 阿萨夫·舒斯特 1 巴特·塞尔曼 1 桑吉特·阿伦库马尔·塞希亚 1 尼古拉·希洛夫五世。 1 希洛娃,S.O。 1 Laurent S.R.西蒙。 1 芭芭拉·史密斯。 1 苏,武藏 1 宋晓宇 1 阿诺·斯皮瓦克 1 苏达珊·库马尔·斯里尼瓦桑 1 斯特里赫曼(Ofer Strichman) 1 彼得·詹姆斯·斯塔基 1 铃木田村 1 唐普珊 1 斯文·蒂勒 1 上田诚司 1 比约恩乌萨德尔 1 W.Mark范弗利特 1 菲利普·韦伯 1 Jeffrey A.沃德。 1 肖恩·韦弗(Sean A.Weaver)。 1 Tjark韦伯 1 本杰明·沃纳 1 亚维·亚德加 1 杨国武 1 张华 1 周、甸 1 周晓芳 全部的 前5名10篇连载文章中引用 2 离散应用数学 2 约束条件 2 可满足性、布尔建模与计算杂志 1 计算机科学与技术杂志 1 自动推理杂志 1 澳大利亚组合数学杂志 1 新西伯利亚计算中心(NCC)和A.P.Ershov信息系统研究所(IIS)联合公报。系列:计算机科学 1 应用逻辑杂志 1 离散优化 1 中国科学。F系列 全部的 前5名在7个字段中引用 31 计算机科学(68至XX) 2 运筹学、数学规划(90-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文