Publicaciones en colaboración con investigadores/as de Consejo Superior de Investigaciones Científicas (1)

2009

  1. Generating hard instances for MaxSAT

    Proceedings of The International Symposium on Multiple-Valued Logic