×

地图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公司;超小卫星;YalSAT卫星;钙DiCaL;玲玲;Treengeling公司;弯曲;葡萄糖;通信卫星;;地图_LCM_Dist_ChronoBT;帕拉库巴;基萨特;HordeSat公司;PrecoSAT公司;合并卫星;GitHub公司;特拉维斯CI;间谍;开放-WBO
引用于: 5文件

连载1篇

2 人工智能

在1个字段中引用

5 计算机科学(68至XX)

按年份列出的引文