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

组合优化问题（Combinatorial Optimization Problems,COPs）在诸多领域具有广泛的实际应用。然而目前大多数组合优化问题（COPs）问题为NP......

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

蛋白质结构预测问题是计算生物学领域的核心问题之一，对其求解是后基因时代蛋白质工程的一项重要任务。已经证明，即使按最简化的数学......