Programa

Raciocínio Automático e Lógica Computacional

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

Programa

Satisfabilidade Booleana (SAT). Modelação de problemas. Pré-processamento. Quebra de simetrias. Algoritmos completos e incompletos. Procura com retrocesso inteligente. Aprendizagem de cláusulas dirigidas ao conflito. Restrições lineares. Otimização linear. Estimativas de limite inferior. Enumeração de modelos. Fórmulas Booleanas quantificadas (QBF). Satisfabilidade modulo teorias (SMT). Aplicações.