完备算法相关论文
最大可满足性问题（maximum satisfiability,MaxSAT）是一个著名的、具有NP难度的组合优化问题.本研究总结了近年来求解最大可满足性问......
布尔可满足性（Boolean Satisfiability Problem,简称SAT）问题又称为SAT问题是人工智能、数理逻辑、计算机科学等领域的中心问题。自......
最大可满足性问题（Maximum Satisfiability，MaxSAT）是一个著名的、具有NP难度的组合优化问题．本文总结了近年来求解最大可满足性问题的......
分布式约束优化问题（DCOP）是多智能体协调优化问题的基本模型，在该模型中，各个智能体合作以优化一个共同的目标。DCOP可以对信息与控制......
Rough sets是Pawlak提出的一种处理模糊和不确定性的数学工具,在粗糙集的各种研究方向中,属性约简算法一直是粗糙集理论研究的重点......
分布式约束优化是解决分布式推理任务的一个基本框架,是目前多Agent领域的研究热点。近几年来提出了许多优秀的分布式约束优化算法......
现实生活中会存在很多约束,需要在所有约束被满足或尽量满足的情况下制定出一种最优解决方案,这一类问题被称为约束满足问题(Const......
