JOSEP
ARGELICH ROMA
CON
University of Picardie Jules Verne
Amiens, FranciaPublicaciones en colaboración con investigadores/as de University of Picardie Jules Verne (2)
2011
-
Experimenting with the instances of the MaxSAT evaluation
Frontiers in Artificial Intelligence and Applications
2006
-
Towards solving many-valued MaxSAT
Proceedings of The International Symposium on Multiple-Valued Logic