Disciplina
Restrições e Optimização Booleanas
Área
Área Científica de Inteligência Artificial > Tecnologia de Inteligência Artificial
Activa nos planos curriculares
DEAEIC2006 > DEAEIC2006 > 3º Ciclo > Restrições e Optimização Booleanas
Nível
Realização de um trabalho de investigação relacionado com um dos tópicos leccionados.
Tipo
Não Estruturante
Regime
Semestral
Carga Horária
1º Semestre
3.0 h/semana
126.0 h/semestre
Objectivos
Dar formação de nível avançado em técnicas para a resolução de problemas de restrições e optimização Booleanas.
Programa
Modelação de Problemas. Pré-processamento. Simetrias. Algoritmos completos e incompletos. Procura local. Resolução. Procura com retrocesso. Estruturas de dados. Heurísticas. Aprendizagem. Restrições lineares. Optimização linear. Estimativas de limite inferior. Contagem de modelos. Extensões: fórmulas Booleanas quantificadas (QBF) e satisfação de modelos de teorias (SMT). Aplicações.
Metodologia de avaliação
Realização de um trabalho de investigação relacionado com um dos tópicos leccionados.
Pré-requisitos
Componente Laboratorial
Princípios Éticos
Componente de Programação e Computação
Componente de Competências Transversais
Bibliografia
Principal
A. Biere, H. van Maaren, T. Walsh Eds.