Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Teoría y aplicaciones en satisfactibilidad y optimización de restricciones

Tipus d'activitat
Projecte R+D+I competitiu
Entitat finançadora
MIN DE ECONOMIA Y COMPETITIVIDAD
Codi de l'entitat finançadora
TIN2013-48031-C4-1-P
Import
52.743,90 €
Data d'inici
2014-01-01
Data de fi
2017-06-30
Paraules clau
Optimización De Restricciones, Satisfacción De Restricciones, Lógica Proposicional, Algoritmos, Complejidad Computacional, Constraint Optimization, Constraint Satisfaction, Propositional Logic, Algorithms, Computational Complexity
Àmbit
Adm. Estat
Pla
Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016
Any convocatòria
2014
Programa subvenció
Programa Estatal de Fomento de la Investigación Científica y Técnica de Excelencia
Subprograma subvenció
Subprograma Estatal de Generación de Conocimiento
Convocatòria subvenció
Excelencia: Proyectos I+D
Institució subvenció
Gobierno De EspaÑa. Ministerio De EconomÍa Y Competitividad, Mineco

Participants