完全算法相关论文
分布式约束优化问题在多Agent系统中应用十分广泛,它已经作为多Agent分布式推理的一项关键技术,既能够最优化一组分布约束,又能够......
提出了一种启发式极性决策的可满足性问题(SAT)新算法.该算法继承了当前SAT解决器的许多策略:快速BCP、子句记录、重启动搜索等.同......
结合DPLL完全算法能够证明可满足性(SAT)问题的不可满足性和局部搜索算法快速的优点,提出利用近似解加速求解SAT问题的启发式完全......
黑白旅行商问题（BWTSP）是近年来出现的新NP-难解问题,根据图中边是否对称可以分为无向BWTSP和有向BWTSP两种.现有无向BWTSP的Ghiani......
为了得到高效可扩展的可满足性问题求解方法,融合目前解决可满足性问题（SAT）的诸多最新策略：快速DPLL、启发式极性决策算法等,提出了......
