地图COMSPS swMATH ID: 31642 软件作者: Liang,J.H.,Oh,C.,Ganesh,V.,Czarnecki,K.,Poupart,P。 描述: Maple系列SAT解析器是一系列冲突驱动的子句学习SAT解释器,配备了基于机器学习的启发式。MapleCOMSPS在2016年SAT竞赛主赛道中获得第一名,在应用类别中获得第二名 主页: https://sites.google.com/a/gsd.uwaterloo.ca/maplesat网站/ 依赖项: 枫树 相关软件: CaDiCaL公司;地图COMSPS_LRB;YalSAT卫星;玲玲;Treengeling公司;弯曲;糠;超小卫星;葡萄糖;帕拉库巴;基萨特;通信卫星;RC2号机组;开放-WBO;地图_LCM_Dist_ChronoBT;github;HordeSat卫星;CBMC公司;PrecoSAT公司;PySAT公司 引用于: 8文件 全部的 前5名29位作者引用 三 斯蒂芬·科切马佐夫 2 李楚敏 2 很多,费利普 1 苏海卜·巴里尔 1 乔迪·科尔 1 弗罗莱克斯,尼尔斯 1 维杰·加内什 1 伊琳娜·格里巴诺娃 1 贾马尔·哈贝特 1 何坤 1 Heule,Marijn J.H。 1 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 1 伊瑟尔,马库斯 1 Järvisalo,马蒂 1 Fabrice Kordon公司 1 卢多维奇·勒弗里克斯 1 李、余 1 吕志鹏 1 罗,毛 1 诺伯特·曼恩 1 Joáo P.塞尔瓦侯爵。 1 伊利亚·奥特普申尼科夫。 1 Aleksandr Anatol’evich塞梅诺夫 1 朱利安·索佩纳 1 马丁·苏达 1 文森特·瓦拉德 1 肖,范 1 徐振兴 1 奥列格·谢尔盖维奇·扎金 3篇连载文章中引用 2 人工智能 1 AI通信 1 计算机科学中的逻辑方法 在3个字段中引用 8 计算机科学(68至XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文