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

InfCSP

Financiado

Cerrado

Descriptive Complexity of Infinite Domain Constraint Satisfaction Problems

The constraint satisfaction problem (CSP) is a computational problem where the instance consists of a finite set of variables and a finite set of constraints, and the goal is to decide if there is a mapping from the variables to e... ver más

29/04/2021

THE CHANCELLOR MAS...

195K€

Presupuesto del proyecto: 195K€

Líder del proyecto

THE CHANCELLOR MASTERS AND SCHOLARS OF THE UN... 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 H2020 notifico la concesión del proyecto el día 2021-04-29

MSCA-IF-2017: Individual Fellowships

I+D

Cerrada hace 7 años

0% 100%

Información adicional privada

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

2 Participantes

THE CHANCELLOR MASTERS AND S...

195.45K€ | Lider

CADROS ELECTRICOS NAZARENOS

565.69K€ | Participante

Proyectos interesantes

TIN2016-76573-C2-2-P

Software

Artificial Inte...

54K€ Cerrado

TIN2016-76573-C2-1-P

Software

Artificial Inte...

23K€ Cerrado

Complexity of CSPs

Software

Data Science

160K€ Cerrado

TIN2010-21062-C02-01

Software

Data Science

110K€ Cerrado

NEAT

Software

Data Science

181K€ Cerrado

TIN2013-48031-C4-1-P

Software

Data Science

53K€ 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

Duración del proyecto: 36 meses Fecha Inicio: 2018-04-10
Fecha Fin: 2021-04-29

Líder del proyecto

THE CHANCELLOR MASTERS AND SCHOLARS OF THE UN... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 195K€

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

Descripción del proyecto The constraint satisfaction problem (CSP) is a computational problem where the instance consists of a finite set of variables and a finite set of constraints, and the goal is to decide if there is a mapping from the variables to elements of some fixed domain of values satisfying all the constraints. Such problems are ubiquitous in different areas of computer science, including artificial intelligence, scheduling, computational linguistics, computational biology, and combinatorial optimisation. InfCSP will use mathematical tools to study the descriptive complexity of infinite domain constraint satisfaction problems. The main purpose of InfCSP is to understand the power of generic logic-based algorithms for CSPs with infinite domains of values. More precisely, we will analyse the class of CSPs parametrised by the type of constraints allowed in the instance in order to determine for which problems in this class the set of YES instances can be captured by a logical formula. The logics of interest will be Datalog and the first-order logic extended by a fixed-point operator, widely studied in the context of constraint satisfaction. The classifications will be obtained using methods from descriptive complexity, universal algebra and model theory. InfCSP will constitute a major step forward in understanding which infinite domain CSPs can be solved in polynomial time and developing new universal-algebraic tools for infinite domain CSP.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores