骨干变元集相关硕士博士期刊学术论文 - 信丰网

骨干变元集相关论文

基于关键文字的求解SAT问题的启发式算法

逻辑公式的可满足问题的求解方法是近几年研究的重点,通过对逻辑公式的关键文字和骨干变元集的研究与分析,使用启发式算法寻找公式......

期刊

关键文字骨干变元集可满足(SAT) 启发式算法 key literal backbone satisfiability heuristic algorith

看过本文同时还关注