Publicaciones en colaboración con investigadores/as de University of Picardie Jules Verne (2)

2011

  1. Experimenting with the instances of the MaxSAT evaluation

    Frontiers in Artificial Intelligence and Applications

2006

  1. Towards solving many-valued MaxSAT

    Proceedings of The International Symposium on Multiple-Valued Logic