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.

Metodologia de avaliação

Projeto individual

Disciplinas Execução

2021/2022 - 1º Semestre

2020/2021 - 1º Semestre

2019/2020 - 1º Semestre

2018/2019 - 1ºSemestre

2016/2017 - 2ºSemestre

2015/2016 - 2º Semestre

2014/2015 - 2º Semestre

2013/2014 - 2 Semestre

2012/2013 - 2 Semestre

2011/2012 - 2 Semestre

2010/2011 - 2 Semestre

2009/2010 - 2 Semestre

2008/2009 - 2 Semestre