葡萄糖

葡萄糖SAT解算器。葡萄糖是基于一个新的计分方案(好吧,现在不是那么新的,它是在2009年引入的),用于所谓的“现代”SAT-sovlers的小句学习机制(它基于我们的IJCAI'09论文)。本页总结了2009年葡萄糖竞赛版的技术。Solver的名字是“glue子句”概念的缩写,glue子句是葡萄糖在搜索过程中检测并保存的一种特殊类型的子句。葡萄糖主要是基于Minisat,所以如果你想引用葡萄糖的话,也请引用Minisat


zbMATH中的参考文献(参考文献39条)

显示第1到第20个结果,共39个。
按年份排序(引用)
  1. Labbé,Sébastien:Jeandel-Rao非周期性瓷砖的替代结构(2021)
  2. 阿蒙多拉,乔凡尼;里卡,弗朗西斯科;Truszczynski,Miroslaw:生成硬随机布尔公式和析取逻辑程序的新模型(2020)
  3. 巴尔科,马丁;西布尔卡,约瑟夫;卡拉,卡雷尔;Kynčl,Jan:有序图的Ramsey数(2020)
  4. 多达罗,胭脂红;艾特,托马斯;欧格里斯,保罗;Schekotihin,Konstantin:用强化学习管理流推理的缓存策略(2020)
  5. 霍拉切克,一月;Kreuzer,Martin:关于从CNF到ANF的转换(2020)
  6. 拉涅兹,让-玛丽;伦卡,伊曼纽;马奎斯,皮埃尔:模型计数的可定义性(2020)
  7. 李楚民;萧,范;罗、毛;很多,费利普;吕志鹏;Li,Yu:CDCL SAT solvers中的单元传播的条款生动化(2020)
  8. 裴,严如;马努肯,黑克;Di Ventra,Massimiliano:生成带有受挫循环的加权MAX-2-SAT实例:RBM案例研究(2020年)
  9. 塞门诺夫,亚历山大;奥特普什尼科夫,伊利亚;格里巴诺娃,伊琳娜;扎金,奥列格;Kochemazov,Stepan:将离散函数的算法描述转换为SAT及其在密码分析问题中的应用(2020)
  10. 阿布德·埃尔·马克苏德,穆尼拉A。;Abdalla,Areeg:Van der Waerden数字的新SAT解算器(2019)
  11. 查、敖龙;小村、宫城;Fujita,Hiroshi:(N)-基于模的MaxSAT伪布尔约束的CNF编码(2019)
  12. 伊格纳蒂耶夫,亚历克赛;莫加多,安东尼奥;Marques Silva,Joao:PySAT:A Python toolkit for Prototype with SAT oracles(2018年)
  13. Alviano,Mario:通过不满足核心分析在命题限制中的模型枚举(2017)
  14. 巴尔科,马丁;瓦尔特,帕维尔:对Erdős-Szekeres猜想的SAT攻击(2017)
  15. 德夫里恩特,乔;博加茨,巴特;Bruynooghe,Maurice:对称解释学习:SAT的有效动态对称处理(2017)
  16. 埃格利,乌韦;克罗内格,马丁;洛辛,弗洛里安;Pfandler,Andreas:整合规划作为增量QBF解决的案例研究(2017)
  17. 梁家辉;哈里戈文德,V。K、 。;帕斯卡,波帕斯特;查内基,克兹什托夫;Ganesh,Vijay:基于全球学习率视角的分支启发式实证研究(2017)
  18. 林道尔,马吕斯;霍斯,霍尔格;凯文·莱顿·布朗;Schaub,Torsten:通过算法配置自动构建平行投资组合(2017)
  19. 内贾提,赛义德;纽瑟姆,扎克;斯科特,约瑟夫;梁家辉;盖博蒂,凯瑟琳;帕斯卡,波帕斯特;Ganesh,Vijay:一种基于传播速率的分裂启发式算法(2017)
  20. Surynek,Pavel:基于时间扩展图的协同寻径优化求解命题编码(2017)