软件搜索-zbMATH Open

MapleCOMSPS公司

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网站/
依赖项：	枫树
相关软件：	钙DiCaL；地图COMSPS_LRB；YalSAT卫星；玲玲；Treengeling公司；褶皱；糠；超小卫星；葡萄糖；帕拉库巴；基萨特；通信卫星；RC2号机组；开放-WBO；地图_LCM_Dist_ChronoBT；github；HordeSat卫星；CBMC公司；PrecoSAT公司；PySAT公司
引用于：	8文件

三	斯蒂芬·科切马佐夫
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	若昂·席尔瓦侯爵。
1	伊利亚·奥特普申尼科夫。
1	Aleksandr Anatol’evich塞梅诺夫
1	朱利安·索佩纳
1	马丁·苏达
1	文森特·瓦拉德
1	肖，范
1	徐振兴
1	奥列格·谢尔盖维奇·扎金