Innovating Works

TIN2013-48031-C4-1-P

Financiado
TASSAT 2: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIMIZACION DE RESTRICCI...
ESTE PROYECTO GIRA ENTORNO A LOS PROBLEMAS DE LA SATISFACTIBILIDAD Y OPTIMIZACION DE RESTRICCIONES, TANTO EN LOGICA PROPOSICIONAL (SAT) COMO EN LENGUAJES DE RESTRICCIONES MAS EXPRESIVOS (CSP), NOS PROPONEMOS REALIZAR INVESTIGACION... ESTE PROYECTO GIRA ENTORNO A LOS PROBLEMAS DE LA SATISFACTIBILIDAD Y OPTIMIZACION DE RESTRICCIONES, TANTO EN LOGICA PROPOSICIONAL (SAT) COMO EN LENGUAJES DE RESTRICCIONES MAS EXPRESIVOS (CSP), NOS PROPONEMOS REALIZAR INVESTIGACION PUNTERA EN ESTA AREA APROVECHANDO LA EXPERIENCIA DE LOS CUATRO GRUPOS QUE COMPONEN EL PROYECTO, TASSAT 2 ES LA CONTINUACION DEL PROYECTO QUE LO ENGENDRA, TASSAT, QUE YA HA DEMOSTRADO SU VIABILIDAD Y RECORRIDO, POR ELLO, LOS OBJETIVOS GENERALES QUE NOS PROPONEMOS SON POR UNA PARTE CONTINUISTAS Y POR OTRA INNOVADORES, CON LOS SIGUIENTES OBJETIVOS CONCRETOS EN PARTICULAR:POR UNA PARTE, EN SAT SEGUIREMOS ESTUDIANDO LA ESTRUCTURA DE LAS INSTANCIAS PROVENIENTES DEL MUNDO INDUSTRIAL Y APLICAR ESTE CONOCIMIENTO AL DESARROLLO DE SOLVERS, TANTO DE SAT COMO DE MAXSAT, MAS EFICIENTES, EN CSP SEGUIREMOS CONTRIBUYENDO AL PROBLEMA DE LA CLASIFICACION DE LAS CLASES DE RESTRICCIONES TRATABLES, TAMBIEN ESTUDIAREMOS ALGORITMOS PARA INSTANCIAS GEOMETRICAS DE MAXCSP Y PROBLEMAS COMBINATORIOS, DE INTERES PARA LA TEORIA DE LA COMPLEJIDAD COMPUTACIONAL, UNA NOVEDAD IMPORTANTE DEL PRESENTE PROYECTO ES SU MAYOR ENFASIS EN LA IMPLEMENTACION DE SOLVERS PRACTICOS, INCLUYENDO NUEVOS ALGORITMOS DE BRANCH-AND-BOUND PARA MAXSAT, SOFT LEARNING PARA MAXSAT, TECNICAS MEJORADAS PARA LA SELECCION DE VARIABLES, PORTAFOLIOS, ETC, QUEREMOS EXPANDIR NUESTRA PRESENCIA EN COMPETICIONES DE SOLVERS Y PARTICIPAR EN LA SOLUCION DE PROBLEMAS INDUSTRIALES, OTRA NOVEDAD SIGNIFICATIVA EN LOS OBJETIVOS ES QUE SE AMPLIARA EL MARCO DE APLICACION DE LOS METODOS GEOMETRICOS PARA INCLUIR PROBLEMAS DE ISOMORFISMO DE GRAFOS Y OTRAS ESTRUCTURAS DE INTERES EN COMBINATORIA Y OTRAS AREAS DE LA CIENCIA, ESTE NUEVO OBJETIVO SE DERIVA DE LOS RESULTADOS OBTENIDOS EN EL PROYECTO ANTERIOR QUE YA HAN TENIDO UN NOTABLE IMPACTO INTERNACIONAL,LA PALABRA CLAVE EFFICIENCY APARECE EN LAS ACTIVIDADES RELACIONADAS CON ICT DEL PROGRAMA EUROPEO H2020 (VEASE SC4 Y SC5 EN "SOCIETAL CHALLENGES"), ESTO PUEDE REFERIRSE A DISTRIBUCION DE ENERGIA, APLICACIONES LOGISTICAS, ETC, SOLVERS DE SAT Y MAXSAT SON TECNOLOGIAS RELATIVAMENTE NUEVAS PARA PROBLEMAS DE OPTIMIZACION QUE PUEDEN APLICARSE A ESTAS AREAS, UNO DE NUESTROS OBJETIVOS ES CONSOLIDAR UNA RED DE GRUPOS DE INVESTIGACION EN EL AREA PARA PODER COMPETIR EN LA SOLICITUD DE PROYECTOS EUROPEOS, OPTIMIZACIÓN DE RESTRICCIONES\ SATISFACCIÓN DE RESTRICCIONES\ LÓGICA PROPOSICIONAL\ ALGORITMOS\ COMPLEJIDAD COMPUTACIONAL ver más
01/01/2013
UPC
53K€
Perfil tecnológico estimado

Línea de financiación: concedida

El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2013-01-01
Presupuesto El presupuesto total del proyecto asciende a 53K€
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