JORDI
PLANES CID
CON
![Foto de JORDI](/img/nophoto.png)
![Foto de Hunan Normal University](/img/noimage_org.png)
Hunan Normal University
Changsha, ChinaHunan Normal University-ko ikertzaileekin lankidetzan egindako argitalpenak (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)