随笔分类 -  文献阅读笔记

Learning Rate Based Branching Heuristic for SAT Solvers
摘要：1. 预备知识 1.1 Simple Average and Exponential Moving Average 给定一个含有时间序列的数字序列\(S_n=<r_1,r_1,r_2, ..., r_n>\) simple average 的计算方式为 \(avg(S_n)=\sum_{i=1}^N 阅读全文
posted @ 2025-03-12 12:26 seonwee 阅读(51) 评论(0) 推荐(0)
Branching Strategy Selection Approach Based on Vivification Ratio
摘要：1. 结论 学习子句中含有比较多的冗余子句时，即vivification ratio高时采用vsids分支策略要比LRB好。 2. 相关内容 2.1 两种典型不同类别的算例 2.1.1 HWMCC instances HWMCC instances generated from real-world 阅读全文
posted @ 2024-12-05 13:41 seonwee 阅读(37) 评论(0) 推荐(0)
Exponential Recency Weighted Average Branching Heuristic for SAT Solvers
摘要：1. CHB(conflict history-based branching heuristic)分支策略 1.1 奖励函数 \(numConflicts\) 从搜索开始发生冲突的总次数 \(lastConflict[v]\) 文字\(v\)在冲突分析出现，则\(lastConflict[v] = 阅读全文
posted @ 2024-12-04 22:22 seonwee 阅读(69) 评论(0) 推荐(0)