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

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... ver más

01/01/2018

UDL

15K€

Presupuesto del proyecto: 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

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2018-01-01 No tenemos la información de la convocatoria

0% 100%

Participantes

UDL

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

PID2019-109137GB-C21 SISTEMAS DE DEMOSTRACION PRACTICOS MAS ALLA DE RESOLUCION 79K€ Cerrado

TIN2016-76573-C2-1-P TASSAT 3: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIM... 23K€ Cerrado

TIN2016-76573-C2-2-P TASSAT 3: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIM... 54K€ 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

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

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

Presupuesto del proyecto 15K€

Descripción del proyecto 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

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores