Publicaciones en colaboración con investigadores/as de Hunan Normal University (2)

2010

  1. Resolution-based lower bounds in MaxSAT

    Constraints, Vol. 15, Núm. 4, pp. 456-484

2008

  1. 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)