×

葡萄糖

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位作者

按年份列出的引文