Publicaciones en colaboración con investigadores/as de Consejo Superior de Investigaciones Científicas (2)

2009

  1. Generating hard instances for MaxSAT

    Proceedings of The International Symposium on Multiple-Valued Logic

1998

  1. A time-domain method for the analysis of thermal impedance response preserving the convolution form

    THERMINIC: COLLECTION OF PAPERS PRESENTED AT THE INTERNATIONAL WORKSOP ON THERMAL INVESTIGATIONS OF ICS AND MICROSTRUCTURES