- Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)
Institut d'investigació
Illinois Wesleyan University
Bloomington, Estados UnidosPublicacions en col·laboració amb investigadors/es 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