Innovating Works

RED2018-102687-T

Financiado
SATISFACTIBILIDAD Y PROGRAMACION CON RESTRICCIONES
ESTA RED TEMATICA, SOBRE SATISFACTIBILIDAD Y PROGRAMACION CON RESTRICCIONES, SE FOCALIZA EN LOS PROBLEMAS DE DECISION Y OPTIMIZACION DE DETERMINADOS FORMALISMOS: LOGICA PROPOSICIONAL (SAT, MAXSAT, MINSAT), SATISFACTIBILIDAD MODULO... ESTA RED TEMATICA, SOBRE SATISFACTIBILIDAD Y PROGRAMACION CON RESTRICCIONES, SE FOCALIZA EN LOS PROBLEMAS DE DECISION Y OPTIMIZACION DE DETERMINADOS FORMALISMOS: LOGICA PROPOSICIONAL (SAT, MAXSAT, MINSAT), SATISFACTIBILIDAD MODULO TEORIAS (SMT), PROGRAMACION CON RESTRICCIONES (CSP, COP, MAXCSP, WCSP) Y PROGRAMACION CON RESTRICCIONES DISTRIBUIDAS (DISCSP), NUESTRO INTERES EN ESTOS PROBLEMAS VIENE MOTIVADO POR EL HECHO DE QUE OFRECEN UN METODO GENERICO DE RESOLUCION DE PROBLEMAS MUY COMPETITIVO: LA IDEA ES MODELIZAR EL PROBLEMA QUE QUEREMOS RESOLVER EN UNO DE LOS FORMALISMOS MENCIONADOS PARA LUEGO OBTENER UNA SOLUCION UTILIZANDO LOS ALGORITMOS IMPLEMENTADOS PARA DICHOS FORMALISMOS, ESTA APROXIMACION EVITA EL DESARROLLO DE ALGORITMOS ESPECIFICOS PARA CADA PROBLEMA Y HA TENIDO EXITO EN AREAS TAN DIVERSAS COMOBIOINFORMATICA, CIUDADES INTELIGENTES, COMPUTACION SOSTENIBLE, ENERGIA, REDES SOCIALES Y VERIFICACION DE HARDWARE Y SOFTWARE,EL PRINCIPAL OBJETIVO DE ESTA RED TEMATICA ES CREAR SINERGIAS, ENTRE LOS DIFERENTES GRUPOS ESPAÑOLES QUE TRABAJAN EN SATISFACTIBILIDAD Y PROGRAMACION CON RESTRICCIONES, PARA SITUAR A ESPAÑA EN UNA POSICION DESTACADA Y COMPETITIVA EN ESTA AREA DE INVESTIGACION, REFORZAR LA COLABORACION CON EL SECTOR PRIVADO, COORDINAR LA PETICION Y EJECUCION DE PROYECTOS NACIONALES Y EUROPEOS, MEJORAR LA CALIDAD DE LA INVESTIGACION E INCREMENTAR EL CONOCIMIENTO DE LAS TECNOLOGIAS EXISTENTES TANTO A NIVEL ACADEMICO COMO INDUSTRIAL,ENTRE LOS RESULTADOS QUE SE ESPERAN ALCANZAR DESTACAMOS REALIZAR PROYECTOS CONJUNTOS, RESOLVER UN RETO INDUSTRIAL PLANTEADO POR EL SECTOR PRIVADO, INCREMENTAR LA INNOVACION Y TRANSFERENCIA DE TECNOLOGIA, ORGANIZAR JORNADAS DE DIFUSION Y SEGUIMIENTO DE LA RED, MEJORAR LOS CONTENIDOS SOBRE ESTA AREA DE INVESTIGACION EN CENTROS DOCENTES ESPAÑOLES E IBEROAMERICANOS, DESARROLLAR HERRAMIENTAS PARA MEJORAR LA CALIDAD Y EFICIENCIA DE LA INVESTIGACION EMPIRICA, E INTENSIFICAR LA INVESTIGACION INTERDISCIPLINAR, PROBLEMAS COMBINATORIOS\OPTIMIZACION\SATISFACTIBILIDAD\PROGRAMACION CON RESTRICCIONES\ALGORITMOS\EXPERIMENTACION\APLICACIONES INDUSTRIALES ver más
01/01/2018
UDL
15K€
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 2018-01-01
Presupuesto El presupuesto total del proyecto asciende a 15K€
Líder del proyecto
UNIVERSITAT DE LLEIDA CCT No se ha especificado una descripción o un objeto social para esta compañía.
Sin perfil tecnológico