Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

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 No tenemos la información de la convocatoria

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

UDG

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

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

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

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

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores