GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー
GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー
复制标题
GlueMiniSat2.2.5：基于学习节点主动获取策略的快速 SAT 求解器，促进单元传播
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
井上克巳
中科院分区：
文献类型：
--
作者：
鍋島英知;岩沼宏治;井上克巳
