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
Fecha límite participación
Sin fecha límite de participación.
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
Información adicional privada
No hay información privada compartida para este proyecto. Habla con el coordinador.
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
TIN2010-20967-C04-03
TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL
77K€
Cerrado
TIN2010-20967-C04-02
TASSAT: TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL
10K€
Cerrado
TIN2010-20967-C04-01
TASSAT: TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL
37K€
Cerrado
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
Complexity of CSPs
Algorithms and Complexity of Constraint Satisfaction Problem...
160K€
Cerrado