arXiv:2403.06568v2 宣告类型：替换 摘要：尽管已经提出了许多用于 MaxSAT 问题的求解器，并且基准环境如 MaxSAT Evaluations 提供了一个比较最先进的求解器的平台，但现有的评估通常基于在给定的运行时间预算内找到的最佳解的质量（例如，适应度）。然而，仅仅关注具体时间预算下获得的最终解可能会限制我们理解求解器在收敛过程中的行为。本文表明，经验累积分布函数可以用于比较多个问题实例和不同时间预算下 MaxSAT 随机本地搜索求解器的任何时间性能。评估揭示了求解器性能的差异，并显示了求解器的优势和劣势会随着运行时间的不同而变化。本文还展示了任何时间性能的定量评估和高方差评估可以指导机器（即自动配置器）搜索更好的参数设置。我们的实验结果表明，当使用任何时间性能作为成本函数时，超参数优化工具（即 SMAC）可以为求解器找到更好的参数设置，比使用基于找到的最佳解的质量指标时更有效。