Restrições e Optimização Booleanas
pt
en
Bibliografia
Principal
Handbook of Satisfiability:
A. Biere, H. van Maaren, T. Walsh Eds.
2008
IOS Press
Secundária
Não foi definida bibliografia secundária
Página Inicial
Grupos
Avaliação
Bibliografia
Horário
Métodos de Avaliação
Objectivos
Planeamento
Programa
Turnos
Anúncios
Sumários
Pré-requisitos
Componente Laboratorial
Componente de Programação e Computação
Competências Transversais
Princípios Éticos
Notas
Resultado dos QUC