登陆
注册
工具列表
Tool list
MiniSat
2020-06-01
58
-
基于趋势强度的SAT问题学习子句评估算法
针对命题逻辑公式求解过程中难以有效评估学习子句是否有利于后续搜索的问题,提出了一种基于学习子句趋势强度的评估算法。该算法首先通过分析学习子句在生存期内参与冲突分析的时间分布特征,将随机、离散的时间分布...
-
DRUPing for Interpolants
We present a method for interpolation based on DRUP proofs. Interpolants are widely used in model ch...
-
Reducing Energy Consumption Using Genetic Improvement
Genetic Improvement (GI) is an area of Search Based Software Engineering which seeks to improve soft...
