Hola,
¿eres nuevo aquí?

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

TIN2010-20967-C04-04

Financiado

TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL

EL PRESENTE PROYECTO GIRA EN TORNO AL PROBLEMA DE LASATISFACTIBILIDAD EN LOGICA, TANTO EN EL CASO DE LA LOGICAPROPOSICIONAL (SAT), DE LA SATISFACTIBILIDAD DERESTRICCIONES (CSP), COMO EN EL DE LA EXTENSION DIFUSA DE LALOGICA DE DES... ver más

01/01/2010

UPC

16K€

Presupuesto del proyecto: 16K€

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 2010-01-01

0% 100%

Participantes

UPC

Lider

Proyectos interesantes

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-03 TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL 77K€ Cerrado

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

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

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

Universidad Politécnica de Cataluña

Total investigadores 9

Presupuesto del proyecto 16K€

Descripción del proyecto EL PRESENTE PROYECTO GIRA EN TORNO AL PROBLEMA DE LASATISFACTIBILIDAD EN LOGICA, TANTO EN EL CASO DE LA LOGICAPROPOSICIONAL (SAT), DE LA SATISFACTIBILIDAD DERESTRICCIONES (CSP), COMO EN EL DE LA EXTENSION DIFUSA DE LALOGICA DE DESCRIPCIONES (FDL), NOS PROPONEMOS REALIZARAVANCES EN CADA UNO DE LOS TRES CAMPOS APROVECHANDO LASINERGIA CREADA ENTRE LOS CUATRO GRUPOS EN PROYECTOSCONJUNTOS ANTERIORES, LOS OBJETIVOS CONCRETOS PROPUESTOS ENCADA AREA SON LOS SIGUIENTES,EN SAT PRETENDEMOS ESTUDIAR LA ESTRUCTURA DE LAS INSTANCIASPROVENIENTES DEL MUNDO INDUSTRIAL, Y APLICAR ESE CONOCIMIENTO ALDESARROLLO DE RESOLUTORES, TANTO DE SAT COMO DE MAXSAT, MASEFICIENTES, EN CSP PRETENDEMOS CONTRIBUIR AL PROBLEMA DE LACLASIFICACION DE LAS CLASES DE RESTRICCIONES TRATABLES, TAMBIENESTUDIAREMOS ALGORITMOS PARA INSTANCIAS GEOMETRICAS DEMAXCSP E INSTANCIAS ALEATORIAS DE SAT, DE INTERES PARA LA TEORIA DE LACOMPLEJIDAD COMPUTACIONAL, EN FDL ESTUDIAREMOS EL PODER EXPRESIVO Y LACOMPLEJIDAD DE LOS FRAGMENTOS DE LAS LOGICAS DIFUSA DE PRIMER ORDENCORRESPONDIENTES A LAS LOGICAS DE DESCRIPCIONES Y ALGORITMOS PARA LASATISFACTIBILIDAD CON ESPECIAL ATENCION AL CASO DE LAS FDLSFINITAMENTE VALUADAS,ESPERAMOS QUE LOS RESULTADOS DE ESTE PROYECTO SE PUBLIQUEN ANIVEL INTERNACIONAL REFORZANDO ASI LA VISIBILIDAD YPRESTIGIO DE LOS CUATRO GRUPOS QUE LO COMPONEN, SATISFACTIBILIDAD\COMPLEJIDAD COMPUTATIONAL\SATISFACCION DE RESTRICCIONES\ALGORITMOS\LOGICAS DE DESCRIPCIONES\LOGICA DIFUSA

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores