摘要：利用替代参数配置有效地利用MaxSAT求解器。我们描述了如何在MaxSAT的环境中计算这些配置。特别是，我们通过实验证明如何轻松地将非竞争求解器的配置组合起来以获得更好的求解方法。
作者：Josep Al`os, Carlos Ans''otegui, Josep M. Salvia, Eduard Torres
论文ID：2306.07635
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-06-14
PDF 下载： 英文版 中文版pdf翻译中