关键文字相关硕士博士期刊学术论文 - 搜论网

关键文字相关论文

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

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

期刊

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

命题逻辑中随机3-SAT问题算法研究

命题逻辑公式的可满足性问题(SAT)是计算机科学和人工智能中一个重要问题。它是第一个被证明了的NP完全问题,由Stephen Cook于1971......

会议

子句子句集随机3-SAT 可满足性关键文字子句权重真值指派权重重置权值评估函数

看过本文同时还关注