Publications en collaboration avec des chercheurs de Consejo Superior de Investigaciones Científicas (1)

2009

  1. Generating hard instances for MaxSAT

    Proceedings of The International Symposium on Multiple-Valued Logic