Projectos de I&D
Consulta de projectos homologados
Concurso para Projectos de I&D em todos os Domínios Científicos - 2004
SATPot: Algoritmos de satisfação, aplicações e extensões
POSC/EIA/61852/2004
-
Área Científica Principal
-
Engenharia Informática
-
Área Científica Secundária
-
Matemática
-
Palavras Chave
-
Satisfação Proposicional
-
Optimização Pseudo-Booleana
-
Fórmulas Booleanas Quantificadas
-
Contagem de Modelos
-
Financiamento
- €
88 000,00
Instituição do projecto não encontradas