MA. ALBA
CABISCOL TEIXIDO
TU
Consejo Superior de Investigaciones Científicas
Madrid, EspañaPublicaciones en colaboración con investigadores/as de Consejo Superior de Investigaciones Científicas (1)
2009
-
Generating hard instances for MaxSAT
Proceedings of The International Symposium on Multiple-Valued Logic