MaxSAT/PBO

最大可满足性问题（MaxSAT）是命题逻辑可满足性问题（SAT）的优化版本，是经典的NP难问题。伪布尔优化问题（PBO）通过引入伪布尔约束，提供了一种更为灵活的表达方式，是一种0-1线性整数规划问题。许多实际问题可以转化为MaxSAT或PBO进行求解，例如规划、调度、软件和硬件验证，以及经典的组合优化问题等。

课题组致力于MaxSAT和PBO问题的研究，开发了局部搜索算法、并行算法，并将其集成到软件平台中，旨在打造一个能够求解多种问题的通用平台。