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-04

Financiado

Presupuesto del proyecto 16K€

Perfil tecnológico del proyecto Se calculan automáticamente a través de las palabras clave.

Software Data Science
Artificial Intelligence Computer Science Algorithms Complexity Theory

Palabras clave Extraídas de toda la información encontrada de este proyecto

#satisfiability #SAT #CSP #FDL #algorithms #computational complexity #industrial applications #maxSAT

Participantes

UPC

Lider

Últimas noticias

03-01-2025: Programa de Espacios... Se abre la línea de ayuda pública: Demostradores y casos de uso de Espacios de Datos (2ª convocatoria)

01-01-2025: Espacios de Datos Se abre la línea de ayuda pública: Desarrollo de productos y servicios tecnológicos para espacios de datos

01-01-2025: KIT DIGITAL SEGMENTO... Se abre la línea de ayuda pública: Ayudas a la Digitalización de Empresas del Segmento IV (50-100 Empleados) y el Segmento V (100-250 Empleados)