Exploració per autor "Gabàs, Joel"
Ara es mostren els items 1-1 de 1
-
Improving WPM2 for (weighted) partial MaxSAT
Ansótegui Gil, Carlos; Bonet Carbonell, M. Luisa; Gabàs, Joel; Levy Díaz, Jordi (Springer, 2013)
Text en actes de congrés
Accés restringit per política de l'editorialWeighted Partial MaxSAT (WPMS) is an optimization variant of the Satisfiability (SAT) problem. Several combinatorial optimization problems can be translated into WPMS. In this paper we extend the state-of-the-art WPM2 ...