重庆理工大学学报（自然科学版）2020，Vol.34Issue(5)：252-255,4.DOI:10.3969/j.issn.1674-8425(z).2020.05.033
基于子句长度的分支策略
Branching Strategy Based On Clause Length
摘要
关键词
SAT问题/VSIDS/求解算法/分支策略/子句长度分类
信息技术与安全科学引用本文复制引用
杨晗,宋振明..基于子句长度的分支策略[J].重庆理工大学学报（自然科学版）,2020,34(5):252-255,4.基金项目
国家自然科学基金项目"基于矛盾体分离的动态自动演绎推理研究"(61673320) （61673320）
