利用 MaxSAT 求解器的配置
人工智能
2023-06-14 v1
摘要
本文中，我们描述了如何有效利用 MaxSAT 求解器的替代参数配置。我们说明了这些配置如何在 MaxSAT 背景下被计算。特别地，我们通过实验展示了如何轻松组合一个非竞争性求解器的多种配置，以获得更好的求解方法。
引用
@article{arxiv.2306.07635,
title = {Exploiting Configurations of MaxSAT Solvers},
author = {Josep Alòs and Carlos Ansótegui and Josep M. Salvia and Eduard Torres},
journal= {arXiv preprint arXiv:2306.07635},
year = {2023}
}