Carga Horária: 30 horas teóricas + 45 horas Lab.
Créditos: 3
Horário: 5a feiras das 18:10 às 20:00
Docente: Pedro Barahona (Prof. Assoc. FCT/UNL)

• Modelação de problemas como conjuntos de restrições
• Planeamento
• Diagnóstico
• Satisfação de restrições
• Tipos de restrições e domínios de aplicação
• Programação em Lógica com Restrições
• Integração de satisfação de restrições na programação em  lógica
• Algoritmos especializados para satisfação de
• Restrições lineares sobre os reais/racionais
• Restrições não-lineares sobre reais/racionais
• Restrições sobre domínios finitos
• Restrições Booleanas
• Restrições pseudo-Booleanas
• Satisfação parcial de restrições
• Exemplos de linguagens
• CHIP, CLP(R), ECLIPSE, SICStus, CLP(FD)