×

swMATH ID: 9758
软件作者: 田村直之(Naoyuki Tamura)
描述: Sugar是一个基于SAT的约束求解器。约束满足问题(CSP)被编码为布尔CNF公式,并由外部SAT求解器求解。糖还可以解决约束优化问题(COP)和Max-CSP。Sugar在2008年和2009年的国际CSP solver Competition中是全球约束类别的获奖求解者,在2008年的国际Max-CSP solver Compatition中是四个类别的获奖解算者。有关更多详细信息,请参阅CSP Solver竞赛中的Sugar结果。
主页: http://bach.istc.kobe-u.ac.jp/sugar/
相关软件: 超小卫星;迷你锌;Gecode公司;萨特齐拉;;meSAT公司;迷你们;Yices公司;扣环;AProVE公司;阿祖卡;本质;z3型;CSPLib数据库;光束-ACO;Clingcon公司;帕拉米尔斯;SMT-LIB公司;蒂罗尔(Tyrolean);开放-WBO
引用于: 31文件
更多出版物: http://bach.istc.kobe-u.ac.jp/sugar/#sec-8
全部的 前5名

89位作者引用

穆苏诺里·班巴拉
2 阿坤、奥祖尔
2 迈克尔·科迪什
2 伊恩·菲利普
2 吉尔根·吉斯尔
2 Heule,Marijn J.H。
2 克里斯托弗·杰斐逊
2 佐藤北川
2 伊恩·米格尔
2 Peter W.南丁格尔。
2 Schaub,Torsten H。
2 彼得·施奈德·坎普
2 彼得·詹姆斯·斯塔基
2 阿基科·塔加
2 铃木田村
2 雷内·蒂曼
1 斯科特·亚伦森
1 穆罕默德·马赫迪·艾哈迈迪安
1 罗伯托·阿马迪尼
1 迈克尔·安德森
1 科尼利厄斯·阿斯切尔曼
1 班科维奇,米兰
1 亨德里克·比尔莱
1 米克尔波菲尔
1 海德玛丽·布拉塞尔
1 布洛克-南内斯塔德,陶斯
1 马克·布罗克施米特
1 伯特兰卡邦
1 Cheng,Tai-Chiu Edwin先生
1 乔迪·科尔
1 德卡特,布罗斯
1 Jip J.德克尔。
1 克里斯蒂安·德雷舍尔
1 费边·埃姆斯
1 艾伦·M·弗里希。
1 弗洛里安·弗洛恩
1 卡斯滕·福斯
1 毛里齐奥·加布里埃利
1 格雷姆·恒河
1 艾哈迈德·希杜克。
1 埃曼纽尔·希伯拉德
1 杰拉·亨塞尔
1 霍尔格·H·胡斯。
1 Marie-JoséHuguet
1 冈萨洛·伊玛兹(Gonzalo E.Imaz)。
1 贾尼契奇,普雷德拉格
1 杰罗·扬森
1 Masakazu Jimbo
1 罗兰·卡明斯基
1 本杰明·考夫曼
1 穆斯塔法·哈塔米
1 克利斯朵夫
1 李楚敏
1 尤利亚·利勒
1 马吕斯·林道尔
1 陆晓楠
1 很多,费利普
1 菲利普·马里奇
1 雅各布·毛罗
1 Miwako Mishima
1 宫本茂,Nobuko
1 马克·莫里格
1 奥尔加·奥里蒙科
1 马克斯·奥斯特罗斯基
1 卡斯滕·奥托
1 Ozolins,Ansis公司
1 米奎尔·帕拉希
1 马丁·普吕克
1 奥利维尔·罗塞尔
1 阿米尔·萨利希波尔
1 卢奥迪尔·博切·沙万
1 史蒂文·肖卡特
1 帕特里克·斯普拉克伦
1 米尔科·斯托贾迪诺维奇
1 托马斯·斯特罗德
1 帕维尔·苏瑞克
1 约塞普·苏伊
1 斯蒂芬妮·斯威德斯基
1 斯泽德,斯特凡
1 塔克,吉多
1 托什,简
1 Marc R.C.van Dongen。
1 德克·弗梅尔
1 丹尼尔·维瑟尔
1 马图·维拉雷特
1 弗兰克·沃纳
1 威利尼乌斯,佩尔
1 埃利夫娜斯·扬金
1 埃姆雷·约尔库

按年份列出的引文