计算机与现代化Issue(7)：20-24,96,6.DOI:10.3969/j.issn.1006-2475.2019.07.004
基于变量决策层的启发式变量选择策略
Heuristic Variable Selection Strategy Based on Variable Decision Level
摘要
关键词
启发式分支策略/SAT求解器/VSIDS策略/HSVDL策略/变量决策分类
信息技术与安全科学引用本文复制引用
刘姚,宋振明..基于变量决策层的启发式变量选择策略[J].计算机与现代化,2019,(7):20-24,96,6.基金项目
国家自然科学基金资助项目(61673320) （61673320）
中央高校基本科研业务费专项资金资助项目(2682018ZT10) （2682018ZT10）
