Disciplina Curricular

Restrições e Optimização Booleanas ROB

Diploma de Estudos Avançados em Engenharia Informática e de Computadores - DEAEIC2006

Contextos

Grupo: DEAEIC2006 > 3º Ciclo

Período:

Peso

4.5 (para cálculo da média)

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.