Programa

Restrições e Optimização Booleanas

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

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.