- Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)
Institut d'investigació
Hunan Normal University
Changsha, ChinaPublikationen in Zusammenarbeit mit Forschern von Hunan Normal University (2)
2010
-
Resolution-based lower bounds in MaxSAT
Constraints, Vol. 15, Núm. 4, pp. 456-484
2008
-
Transforming inconsistent subformulas in MaxSAT lower bound computation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)