Projet de recherche
TIN2007-68005-C04-02
Lógicas multivaluadas: Algoritmos para SAT y Max-SAT
date_range
Durée de 01 octobre 2007 à 30 septembre 2010
(36 mois)
Fini