MapleCOMSPS LRB VSIDS and MapleCOM SPS CHB VSIDS in the 2019 Competition,”

Jia Hui Liang,Chanseok Oh,Krzysztof Czarnecki,Pascal Poupart,Vijay Ganesh

SAT RACE 2019（2019）

引用 1|浏览36

暂无评分

摘要

This document describes the SAT solvers Maple-COMSPS LRB VSIDS and MapleCOMSPS CHB VSIDS that implement our machine learning branching heuristics called the learning rate branching heuristic (LRB) and the conflict historybased branching heuristic (CHB).

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要