Projectos de I&D
Consulta de projectos homologados
Concurso para Projectos de I&D em todos os Domínios Científicos - 2008
iExplain - Raciocínio sobre não satisfação
PTDC/EIA-CCO/102077/2008
-
Área Científica Principal
-
Engenharia Informática - Ciências da Computação
-
Área Científica Secundária
-
Matemática
-
Palavras Chave
-
Restrições Booleanas
-
Subformulas não-satisfaziveis
-
Optimização com Restrições
-
Explicações de Conflitos
-
Financiamento
- €
82 000,00
Instituição do projecto não encontradas