单子句传播相关硕士博士期刊学术论文 - 搜论网

单子句传播相关论文

基于优化冲突集提高下界的MAXSAT完备算法

最大可满足性问题（MAXSAT）是经典的NP完全问题SAT的一个扩展问题.基于分支限界设计MAXSAT完备算法时，如何有效地提高下界是设计高效算......

期刊

NP完全最大可满足性问题单子句传播推理规则失败文字 NP complete maximum satisfiability problem unit

看过本文同时还关注