Projet de recherche
TIN2010-20967-C04-03
Teoria, Aplicaciones y Sinergia en SAT, CSP y FDL
date_range
Durée de 01 janvier 2011 à 31 décembre 2013
(36 mois)
Fini