JORDI
PLANES CID
CON
Illinois Wesleyan University
Bloomington, Estados UnidosPublicaciones en colaboración con investigadores/as de Illinois Wesleyan University (1)
2013
-
Iterative and core-guided MaxSAT solving: A survey and assessment
Constraints, Vol. 18, Núm. 4, pp. 478-534