Disciplina

Á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

Projeto individual

Tipo

Não Estruturante

Regime

Semestral

Carga Horária

1º Semestre

1.5 h/semana

105.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

Projeto individual

Bibliografia

Principal

Handbook of Satisfiability

A. Biere, H. van Maaren, T. Walsh Eds.

2008

IOS Press