葡萄糖 swMATH ID: 7833 软件作者: Gilles Audemard;劳伦特·西蒙 描述: 葡萄糖SAT求解器。Glucose基于一种新的评分方案(嗯,现在还不是很新,它是2009年引入的),用于所谓的“现代”SAT解算器的子句学习机制(它基于我们的IJCAI’09论文)。本页总结了09年版葡萄糖竞赛中嵌入的技术。Solver的名字是“glue子句”概念的缩写,glue子句是一种特殊的子句,葡萄糖可以在搜索过程中检测并保存。葡萄糖主要基于Minisat,因此如果您想引用葡萄糖,请务必引用Minisat 主页: 网址:http://www.labri.fr/perso/lsimon/glucose/ 相关软件: 超小卫星;糠;玲玲;弯曲;Treengeling公司;加密MiniSat;PySAT公司;CaDiCaL公司;通信卫星;开放-WBO;github;PrecoSAT公司;扣环;周六4j;z3(零3);萨特齐拉;YalSAT卫星;MapleCOMSPS公司;糖浆;伯克明州 引用于: 57文件 全部的 前5名129位作者引用 6 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 6 Joáo P.塞尔瓦侯爵。 三 马丁·巴尔科 三 迈克尔·科迪什 三 维杰·加内什 三 帕维尔·苏瑞克 2 吉尔·奥德玛 2 阿明·比尔 2 Czarnecki、Krzysztof 2 埃格利,乌韦 2 阿夫拉罕·伊扎科夫 2 Järvisalo,马蒂 2 斯蒂芬·科切马佐夫 2 Jean-Marie拉格尼茨 2 梁家辉 2 弗洛里安·朗辛 2 尤里·维亚切斯拉沃维奇(Yuri Malykhin) 2 安托尼奥·莫尔加多 2 安德烈亚斯·尼斯卡宁 2 Poupart,帕斯卡 2 亚历山德罗·普雷维蒂 2 叶夫根·什切宾(EvgeniĭVital’evich Shchepin) 2 Laurent S.R.西蒙。 2 巴维尔·瓦尔特 1 Abd El-Maksoud,穆尼拉A。 1 阿雷格阿卜杜拉 1 马里奥·阿尔维亚诺 1 乔瓦尼·阿蒙多拉 1 安东·安德烈库克 1 多尔·阿兹蒙 1 托马斯·巴利奥 1 鲍迈斯特,多萝西娅 1 巴特·博加特 1 丹尼·鲍尔森(Danny Bougsted Poulsen) 1 玛丽亚·路易莎 1 鲍里斯·布里姆科夫 1 莫里斯·布吕诺格 1 Samuel R.巴斯。 1 蔡少伟 1 约瑟夫·齐布尔卡 1 E.A.德加切夫。 1 乔·德弗里安特 1 马西米利亚诺·迪文特拉 1 卡明·多达罗 1 托马斯·艾特 1 纪尧姆·埃斯卡莫彻 1 赫莱内·法吉尔 1 安德烈亚斯·弗里奇(Andreas M.Fröhlich)。 1 藤田,广岛 1 马丁·格布瑟 1 吉尔根·吉斯尔 1 伊琳娜·格里巴诺娃 1 哈里·戈文德,V.K。 1 伊利亚·希克斯。 1 霍尔格·H·胡斯。 1 简·霍拉克 1 伊瑟尔,马库斯 1 汤米·詹胡宁 1 Jha,萨默什 1 川江 1 斯文·柯尼格 1 鲍里斯·科涅夫 1 Koshimura、Miyuki 1 卡雷尔·科拉尔 1 马丁·克鲁泽 1 马丁·克罗内格 1 彼得·库切拉 1 米贾·库尔琴斯基 1 库马尔,T.K.萨蒂什 1 Kyncl,一月 1 塞巴斯蒂安·拉贝 1 皮埃尔·勒·博迪奇 1 凯文·莱顿·布朗 1 李楚敏 1 李娇阳 1 李、余 1 马吕斯·林道尔 1 阿列克谢·利西萨(Alexei P.Lisitsa)。 1 伊曼纽尔·隆卡 1 凯文·洛茨 1 吕志鹏 1 罗,毛 1 林奇,因斯 1 Vasco M.Manquinho。 1 诺伯特·曼恩 1 马努基安,海克 1 很多,费利普 1 皮埃尔·侯爵 1 鲁本·马丁斯 1 卡洛斯·门西娅 1 德里克·米凯塞尔(Derek J.Mikesell)。 1 亚历山大·纳德尔 1 Neopryatnaya,A.M。 1 丹尼尔·纽格鲍尔 1 德克·诺沃特卡 1 保罗·奥格里斯 1 哦,Chanseok 1 巴里·奥沙利文 1 伊利亚·奥特普申尼科夫。 1 裴燕如 …还有29位作者 全部的 前5名19篇连载文章中引用 11 人工智能 三 限制条件 2 离散和计算几何 2 数学与人工智能年鉴 2 逻辑程序设计理论与实践 1 离散数学 1 欧洲组合数学杂志 1 符号计算杂志 1 自动推理杂志 1 系统设计中的形式化方法 1 埃及数学学会杂志 1 组合数学电子杂志 1 人工智能研究杂志 1 信息计算杂志 1 Doklady数学 1 机器学习研究杂志 1 ACM实验算法杂志 1 可满足性、布尔建模与计算杂志 1 计算机科学中的逻辑方法 全部的 前5名11个领域引用 49 计算机科学(68至XX) 5 组合数学(05-XX) 4 数学逻辑和基础(03-XX) 4 运筹学、数学规划(90-XX) 三 信息与通信理论、电路(94-XX) 2 数论(11-XX) 2 凸和离散几何(52至XX) 1 阶、格、有序代数结构(06-XX) 1 交换代数(13-XX) 1 测量和集成(28-XX) 1 动力系统和遍历理论(37至XX) 按年份列出的引文