×

地图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文件

按年份列出的引文