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

TIN2013-48031-C4-1-P

Financiado

TASSAT 2: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIMIZACION DE RESTRICCI...

TASSAT 2: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIMIZACION DE RESTRICCIONES 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... ver más

01/01/2013

UPC

53K€

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

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

0% 100%

Participantes

UPC

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

TIN2013-48031-C4-4-P TASSAT 2: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIM... 31K€ Cerrado

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

TIN2010-20967-C04-04 TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL 16K€ Cerrado

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

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

TIN2010-20967-C04-01 TASSAT: TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL 37K€ Cerrado

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

Presupuesto del proyecto 53K€

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

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores