Skip nav

Projectos de I&D

Consulta de projectos homologados

Concurso para Projectos de I&D em todos os Domínios Científicos - 2009

ASPEN: Programação por Conjuntos de Resposta usando Satisfação Booleana

PTDC/EIA-CCO/110921/2009

Área Científica Principal
Engenharia Informática - Ciências da Computação
Área Científica Secundária
Matemática
Palavras Chave
Programação por Conjuntos de Resposta
Satisfação Booleana
Pré-processamento
Pós-processamento
Financiamento
€ 91 567,00
Instituições
Instituição Proponente
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC ID/INESC/IST/ULisboa)
Instituições Participantes
NOVA.ID.FCT - Associação para a Inovação e Desenvolvimento da FCT (NOVA.ID.FCT/FCTUNL/UNL)
Unidade de Investigação Principal
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC ID/INESC/IST/ULisboa)
Equipa
Investigador Responsável
Maria Inês Camarate de Campos Lynce de Faria
Investigadores
João Paulo Marques Silva
José Júlio Alves Alferes
João Alexandre Carvalho Pinheiro Leite