Horn公式相关硕士博士期刊学术论文 - 搜论网

Horn公式相关论文

层次图(混合Horn)公式的部分极大可满足性

本文为解决一类混合Horn公式([13,14]),又称为层次图公式([15])的MAXSAT问题进行了基于随机局部搜索过程的经验研究.具体地,我们首......

期刊

层次图混合 Horn公式可满足性 Graph Level numerical experiments minimization problem 搜索过程 l

看过本文同时还关注