#研究/PBO

文章链接 在本工作中，我们重点关注提高 SLS 求解 PBO 的性能。

文章链接 串行的算法中，引入了动态评分策略后，在并行的策略结合了种群的概念，引入了解池，通过共享高质量解与变量的极性密度（更倾向是 0/1）提高了跳出局部最优的能力

文章链接 与 代码链接 本文和 NuPBO CP'23 是同年的文章，因此没有对比，这篇文章的 实验效果 看了一下是不如 NuPBO 的效果 的，尤其是 300s 中 MWCB 和 SAP，NuPBO…

文章链接 提出了一种局部搜索求解 PBO 的框架，主要的思路就是把优化转为判定，由此可以使用 SAT 局部搜索求解器的思路，通过对约束加权（惩罚值），并由此进行打分函数的设计，从而指导启发式算法工作…

文章链接 本文提出了一种针对 局部 基数约束的局部搜索算法 LS-ECNF ，通过 ECNF 的形式，可以避免将基数约束编码为 SAT，从而获取更好的求解性能 本文的后续改进为 LS-PBO SAT'…

文章链接 主要的贡献为：