Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

TIN2012-33042

Financiado

HERRAMIENTAS LOGICAS PARA PROBLEMAS COMBINATORIOS

EN ESTE PROYECTO NOS PROPONEMOS DESARROLLAR METODOS, TECNICAS Y HERRAMIENTAS BASADOS EN LA LOGICA PARA LA RESOLUCION DE PROBLEMAS COMBINATORIOS DE DECISION Y DE OPTIMIZACION, COMO POR EJEMPLO PROBLEMAS DE SCHEDULING. EN CONCRETO,... ver más

01/01/2012

UDG

24K€

Presupuesto del proyecto: 24K€

Líder del proyecto

UNIVERSITAT DE GIRONA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 226

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2012-01-01

0% 100%

Participantes

UDG

Lider

Proyectos interesantes

RTI2018-095609-B-I00 SATISFACTIBILIDAD PARA PROGRAMACION DE TAREAS, PLANIFICACION... 22K€ Cerrado

TIN2015-66293-R LOGICA PARA PROBLEMAS COMBINATORIOS 67K€ Cerrado

TIN2010-21062-C02-01 SWEETLOGICS-UPC 110K€ 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

RED2018-102687-T SATISFACTIBILIDAD Y PROGRAMACION CON RESTRICCIONES 15K€ Cerrado

Últimas noticias

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

29-11-2024: CMVAMADRID En las últimas 48 horas el Organismo CMVAMADRID ha otorgado 37 concesiones

Líder del proyecto

UNIVERSITAT DE GIRONA

Total investigadores 226

Presupuesto del proyecto 24K€

Descripción del proyecto EN ESTE PROYECTO NOS PROPONEMOS DESARROLLAR METODOS, TECNICAS Y HERRAMIENTAS BASADOS EN LA LOGICA PARA LA RESOLUCION DE PROBLEMAS COMBINATORIOS DE DECISION Y DE OPTIMIZACION, COMO POR EJEMPLO PROBLEMAS DE SCHEDULING. EN CONCRETO, NOS CENTRAREMOS EN EL AMBITO DE LA SATISFACTIBILIDAD MODULO TEORIAS.EL PROBLEMA DE LA SATISFACTIBILIDAD MODULO TEORIAS (SMT) CONSISTE EN LA DETERMINACION DE EXISTENCIA DE MODELOS PARA FORMULAS BOOLEANAS CON ATOMOS DE CIERTAS TEORIAS DE FONDO, COMO POR EJEMPLO TEORIA DE ARITMETICA LINEAL, DE ARRAYS, DE VECTORES DE BITS, ETC. SI BIEN SMT HA SIDO APLICADO TRADICIONALMENTE A PROBLEMAS DE VERIFICACION DE HARDWARE Y SOFTWARE, ULTIMAMENTE SE HA DEMOSTRADO (EN PARTE, CON CONTRIBUCIONES DE MIEMBROS DEL EQUIPO INVESTIGADOR) QUE DICHAS TECNICAS SON TAMBIEN EFECTIVAS PARA LA RESOLUCION DE PROBLEMAS COMBINATORIOS EN GENERAL. LAS CONTRIBUCIONES ANTERIORES DEL EQUIPO INVESTIGADOR SE BASAN EN EL USO DE SOLVERS PARA SMT SIN INTERFERIR EN SU FUNCIONAMIENTO INTERNO, ES DECIR, COMO CAJAS NEGRAS. DICHA APROXIMACION TIENE COMO LIMITE LO ADECUADA QUE SEA LA MODELIZACION DEL PROBLEMA A TRATAR PARA SU RESOLUCION CON DICHOS SOLVERS. PUESTO QUE LA RESOLUCION DE PROBLEMAS COMBINATORIOS MEDIANTE SMT ES MUY RECIENTE, QUEDA TODAVIA MUCHO CAMINO POR RECORRER CUANTO A MODELIZACIONES APROPIADAS SE REFIERE. EN ESTE PROYECTO PRETENDEMOS RECORRER PARTE DE ESTE CAMINO. ADEMAS, PRETENDEMOS IR MAS ALLA DEL MODELO CAJA NEGRA Y MODIFICAR SOLVERS ADAPTANDOLOS A LOS NUEVOS TIPOS DE PROBLEMAS QUE SE PRETENDEN ABORDAR. ESTO INCLUYE EL DESARROLLO DE THEORY SOLVERS PARA TEORIAS DE RESTRICCIONES GLOBALES COMO POR EJEMPLO CUMULATIVE (DE ESPECIAL INTERES EN PROBLEMAS DE SCHEDULING) O PARA TEORIAS COMO LA DE LOS CONJUNTOS FINITOS. ES DE ESPERAR QUE LA INCORPORACION EN ESTOS SOLVERS DE TEORIAS COMO LAS CITADAS PERMITA OBTENER UNA MEJORA SUSTANCIAL EN LA EFICIENCIA DE ESTA TECNOLOGIA APLICADA A PROBLEMAS COMBINATORIOS.

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores