Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Teor¿a y aplicaciones en satisfactibilidad y optimizaci¿n de restricciones

Total activitats: 1
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

Producció científica

1 a 1 de 1 resultats
 
  • Narrow proofs may be maximally long  Accés obert

     Atserias, A.; Lauria, M.; Nordström, J.
    ACM transactions on computational logic
    Vol. 17, num. 3, p. 19:1-19:30
    DOI: 10.1145/2898435
    Data de publicació: 2016-07-03
    Article en revista
    Accés al text complet