BriefGPT.xyz
Jun, 2023
利用MaxSAT求解器的配置
Exploiting Configurations of MaxSAT Solvers
HTML
PDF
Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres
TL;DR
本篇论文探讨了如何利用MaxSAT solver的不同参数配置并进行实验，特别地，我们将多种非竞争性求解器配置相结合以获得更好的解决方案。
Abstract
In this paper, we describe how we can effectively exploit alternative
parameter configurations
to a
maxsat solver
. We describe how these configurations can be computed in the context of MaxSAT. In particular, we
→