- Escola Politècnica Superior (EPS)
Centro
![Foto de - Escola Politècnica Superior (EPS)](/img/noimage.png)
![Foto de Hunan Normal University](/img/noimage_org.png)
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)