最大可满足性问题（maximum satisfiability,MaxSAT）是一个著名的、具有NP难度的组合优化问题.本研究总结了近年来求解最大可满足性问......

最大可满足性问题（Maximum Satisfiability，MaxSAT）是一个著名的、具有NP难度的组合优化问题．本文总结了近年来求解最大可满足性问题的......

分布式约束优化问题(DCOP)是一种用于解决多Agent系统协作优化问题的重要建模方式,具有隐私性、信息局部性、控制分散化等特点。目......