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

CSP-COMPLEXITY

Financiado

Cerrado

Constraint Satisfaction Problems Algorithms and Complexity

The complexity of Constraint Satisfaction Problems (CSPs) has become a major common research focus of graph theory, artificial intelligence, and finite model theory. A recently discovered connection between the complexity of CSPs... ver más

31/12/2015

TUD

830K€

Presupuesto del proyecto: 830K€

Líder del proyecto

TECHNISCHE UNIVERSITAET DRESDEN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

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

Ver 2 Participantes

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2015-12-31 No tenemos la información de la convocatoria

0% 100% 100%

Información adicional privada

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

2 Participantes

TUD

0.00€ | Lider

CNRS

N.D. | Participante

Proyectos interesantes

CSP-Infinity

Artificial Inte...

Data Science

1M€ Cerrado

PID2019-109137GB-C22

Data Science

Software

37K€ Cerrado

Complexity of CSPs

Software

Data Science

160K€ Cerrado

PTCC

Software

Data Science

1M€ Cerrado

SSX

Artificial Inte...

Data Science

1M€ Cerrado

TIN2010-20967-C04-01

Software

Data Science

37K€ Cerrado

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

Líder del proyecto

TECHNISCHE UNIVERSITAET DRESDEN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 830K€

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

Descripción del proyecto The complexity of Constraint Satisfaction Problems (CSPs) has become a major common research focus of graph theory, artificial intelligence, and finite model theory. A recently discovered connection between the complexity of CSPs on finite domains to central problems in universal algebra led to additional activity in the area. The goal of this project is to extend the powerful techniques for constraint satisfaction to CSPs with infinite domains. The generalization of CSPs to infinite domains enhances dramatically the range of computational problems that can be analyzed with tools from constraint satisfaction complexity. Many problems from areas that have so far seen no interaction with constraint satisfaction complexity theory can be formulated using infinite domains (and not with finite domains), e.g. in phylogenetic reconstruction, temporal and spatial reasoning, computer algebra, and operations research. It turns out that the search for systematic complexity classification in infinite domain constraint satisfaction often leads to fundamental algorithmic results. The generalization of constraint satisfaction to infinite domains poses several mathematical challenges: To make the universal algebraic approach work for infinite domain constraint satisfaction we need fundamental concepts from model theory. Luckily, the new mathematical challenges come together with additional strong tools, such as Ramsey theory or results from model theory. The most important challgenges are of an algorithmic nature: finding efficient algorithms for significant constraint languages, but also finding natural classes of problems that can be solved by a given algorithm.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores