JORDI
PLANES CID
CON
Hunan Normal University
Changsha, ChinaPublicaciones en colaboración con investigadores/as de 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)