Publications en collaboration avec des chercheurs 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