Publicaciones en colaboración con investigadores/as de Illinois Wesleyan University (1)

2013

  1. Iterative and core-guided MaxSAT solving: A survey and assessment

    Constraints, Vol. 18, Núm. 4, pp. 478-534