Logic, Optimization and Robotics(LOR)
2021 SGR 00981
![Foto de Logic, Optimization and Robotics(LOR)](/img/grupo.png)
![Foto de Consejo Superior de Investigaciones Científicas](/img/noimage_org.png)
Consejo Superior de Investigaciones Científicas
Madrid, EspañaPublicaciones en colaboración con investigadores/as de Consejo Superior de Investigaciones Científicas (2)
2009
-
Generating hard instances for MaxSAT
Proceedings of The International Symposium on Multiple-Valued Logic
1998
-
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