×

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
依赖项:
相关软件: ;超小卫星;Berk最小值;SATO公司;Zchaff2004型;徒步旅行;CVC精简版;SBSAT卫星;马戏团;SATLIB公司;RSat公司;HOL灯;Coq公司;伊莎贝尔/HOL;ACL2型;库德;南美林猫;PVS公司;伊莎贝尔;利马特河
引用于: 32文件
全部的 前5名

91位作者引用

2 米歇尔·阿尔芒
2 傅朝晖
2 本杰明·格雷戈里
2 沙拉德·马利克
2 潘国强
2 Laurent Théry
2 Moshe Ya’akov瓦尔迪
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 井上,胜美
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 Schaub,Torsten H。
1 格哈德·谢尔霍恩
1 约翰·斯图尔特·施利普夫
1 托拜厄斯·舒伯特
1 阿萨夫·舒斯特
1 巴特·塞尔曼
1 桑吉特·阿伦库马尔·塞希亚
1 尼古拉·希洛夫五世。
1 Shilova,S.O。
1 Laurent S.R.西蒙。
1 Smith,Barbara M。
1 苏,武藏
1 宋晓宇
1 阿诺·斯皮瓦克
1 苏达珊·库马尔·斯里尼瓦桑
1 斯特里赫曼(Ofer Strichman)
1 彼得·詹姆斯·斯塔基
1 铃木田村
1 唐普珊
1 Thiele,斯文
1 上田圣治
1 比约恩乌萨德尔
1 W.Mark范弗利特
1 菲利普·韦伯
1 Jeffrey A.沃德。
1 肖恩·韦弗(Sean A.Weaver)。
1 Tjark韦伯
1 本杰明·沃纳
1 亚维·亚德加
1 杨国武
1 张华
1 周、甸
1 周晓芳

按年份列出的引文