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

TIN2010-20967-C04-01

Financiado

Cerrado

TASSAT: TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL

EL PRESENTE PROYECTO GIRA EN TORNO AL PROBLEMA DE LA SATISFACTIBILIDAD EN LOGICA, TANTO EN EL CASO DE LA LOGICA PROPOSICIONAL (SAT), DE LA SATISFACTIBILIDAD DE RESTRICCIONES (CSP), COMO EN EL DE LA EXTENSION DIFUSA DE LA LOGICA DE... ver más

01/01/2010

CSIC

37K€

Presupuesto del proyecto: 37K€

Líder del proyecto

AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGA... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 2-3 | 552M€

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2010-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

CSIC

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

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

TIN2010-20967-C04-02 TASSAT: TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL 10K€ 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

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

Complexity of CSPs Algorithms and Complexity of Constraint Satisfaction Problem... 160K€ Cerrado

Líder del proyecto

AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGA... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 2-3 | 552M€

Presupuesto del proyecto 37K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto EL PRESENTE PROYECTO GIRA EN TORNO AL PROBLEMA DE LA SATISFACTIBILIDAD EN LOGICA, TANTO EN EL CASO DE LA LOGICA PROPOSICIONAL (SAT), DE LA SATISFACTIBILIDAD DE RESTRICCIONES (CSP), COMO EN EL DE LA EXTENSION DIFUSA DE LA LOGICA DE DESCRIPCIONES (FDL), NOS PROPONEMOS REALIZAR AVANCES EN CADA UNO DE LOS TRES CAMPOS APROVECHANDO LA SINERGIA CREADA ENTRE LOS CUATRO GRUPOS EN PROYECTOS CONJUNTOS ANTERIORES, LOS OBJETIVOS CONCRETOS PROPUESTOS EN CADA AREA SON LOS SIGUIENTES,EN SAT PRETENDEMOS ESTUDIAR LA ESTRUCTURA DE LAS INSTANCIAS PROVENIENTES DEL MUNDO INDUSTRIAL, Y APLICAR ESE CONOCIMIENTO AL DESARROLLO DE RESOLUTORES, TANTO DE SAT COMO DE MAXSAT, MAS EFICIENTES, EN CSP PRETENDEMOS CONTRIBUIR AL PROBLEMA DE LA CLASIFICACION DE LAS CLASES DE RESTRICCIONES TRATABLES, TAMBIEN ESTUDIAREMOS ALGORITMOS PARA INSTANCIAS GEOMETRICAS DE MAXCSP E INSTANCIAS ALEATORIAS DE SAT, DE INTERES PARA LA TEORIA DE LA COMPLEJIDAD COMPUTACIONAL, EN FDL ESTUDIAREMOS EL PODER EXPRESIVO Y LA COMPLEJIDAD DE LOS FRAGMENTOS DE LAS LOGICAS DIFUSA DE PRIMER ORDEN CORRESPONDIENTES A LAS LOGICAS DE DESCRIPCIONES Y ALGORITMOS PARA LA SATISFACTIBILIDAD CON ESPECIAL ATENCION AL CASO DE LAS FDLS FINITAMENTE VALUADAS,ESPERAMOS QUE LOS RESULTADOS DE ESTE PROYECTO SE PUBLIQUEN A NIVEL INTERNACIONAL REFORZANDO ASI LA VISIBILIDAD Y PRESTIGIO DE LOS CUATRO GRUPOS QUE LO COMPONEN, SAT\CSP\LOGICAS DIFUSAS

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores