BriefGPT - AI 论文速递 · 2025-04-16T00:00:00Z

Moving between high-quality optima using multi-satisfiability characteristics in hard-to-solve Max3Sat instances

📝

内容提要

本研究探讨了在难以解决的Max3Sat实例中，通过操纵子句满足性特征来连接高质量局部最优解的方法。实验结果表明，该方法在解决特定Max3Sat实例时显著优于现有优化方法。

🏷️

标签

Max3Sat 优化方法 子句满足性 实验结果 局部最优解