Publicacions en col·laboració amb investigadors/es de Consejo Superior de Investigaciones Científicas (1)

2009

  1. Generating hard instances for MaxSAT

    Proceedings of The International Symposium on Multiple-Valued Logic