1 paper
Josep Alòs, Carlos Ansótegui, Josep M. Salvia +1
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 conte…