Proyecto de investigación
TIN2007-68005-C04-02
Lógicas multivaluadas: Algoritmos para SAT y Max-SAT
date_range
Duración del 01 de octubre de 2007 al 30 de septiembre de 2010
(36 meses)
Convocatoria: