地图COMSPS_LRB swMATH ID: 31643 软件作者： Liang，J.H。；哦，C。；加内什，V。；Czarnecki，K。；Poupart，P。 说明： Maple系列SAT解析器是一系列冲突驱动的子句学习SAT解释器，配备了基于机器学习的启发式。MapleSAT系列SAT求解器的一个关键创新是使用学习率分支启发式（LRB），这与过去十年SAT求解的现状VSIDS分支启发式不同。MapleCOMSPS_LRB在2016年SAT竞赛应用类别中获得第一名 主页： https://sites.google.com/a/gsd.uwaterloo.ca/maplesat网站/ 依赖项： 枫树 相关软件： MapleCOMSPS公司;钙DiCaL;糠;超小卫星;YalSAT卫星;玲玲;Treengeling公司;褶皱;帕拉库巴;基萨特;葡萄糖;通信卫星;RC2号机组;开放-WBO;地图_LCM_Dist_ChronoBT;HordeSat卫星;PrecoSAT公司;焊接工艺规范3;QMax卫星;周六4j 引用于： 6文件 全部的 前5名19位作者引用 2 斯蒂芬·科切马佐夫 2 李楚敏 2 很多，费利普 1 乔迪·科尔 1 弗罗莱克斯，尼尔斯 1 贾马尔·哈贝特 1 何坤 1 Heule，Marijn J.H。 1 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 1 马库斯·伊泽尔 1 马蒂·Järvisalo 1 李、余 1 吕志鹏 1 罗，毛 1 诺伯特·曼恩 1 若昂·席尔瓦侯爵。 1 马丁·苏达 1 肖，范 1 徐振兴 2篇连载文章中引用 2 人工智能 1 AI通信 在2个字段中引用 6 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文