TIN2010-20967-C04-04
Financiado
TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL
EL PRESENTE PROYECTO GIRA EN TORNO AL PROBLEMA DE LASATISFACTIBILIDAD EN LOGICA, TANTO EN EL CASO DE LA LOGICAPROPOSICIONAL (SAT), DE LA SATISFACTIBILIDAD DERESTRICCIONES (CSP), COMO EN EL DE LA EXTENSION DIFUSA DE LALOGICA DE DES...
ver más
01/01/2010
UPC
16K€
Presupuesto del proyecto: 16K€
Líder del proyecto
Universidad Politécnica de Cataluña
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores
9
Total investigadores
9
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2010-01-01
No tenemos la información de la convocatoria
Conecta tu I+D
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Proyectos interesantes
TIN2013-48031-C4-1-P
TASSAT 2: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIM...
53K€
Cerrado
TIN2013-48031-C4-4-P
TASSAT 2: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIM...
31K€
Cerrado
TIN2010-20967-C04-03
TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL
77K€
Cerrado
TIN2010-20967-C04-01
TASSAT: TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL
37K€
Cerrado
TIN2010-20967-C04-02
TASSAT: TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL
10K€
Cerrado
TIN2016-76573-C2-1-P
TASSAT 3: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIM...
23K€
Cerrado