糖 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 埃姆雷·约尔库 全部的 前5名13篇连载文章中引用 7 约束条件 4 自动推理杂志 2 人工智能 2 国际近似推理杂志 2 逻辑程序设计理论与实践 1 信息处理信件 1 统计规划与推断杂志 1 数学和计算机建模 1 欧洲运筹学杂志 1 数学与人工智能年鉴 1 切约尔。中欧运筹学杂志 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 在5个字段中引用 24 计算机科学(68至XX) 9 运筹学、数学规划(90-XX) 2 数学逻辑和基础(03-XX) 2 组合数学(05-XX) 1 统计学(62-XX) 按年份列出的引文