COPPE/Departamento de Engenharia de Sistemas e Computação

Tópicos Especiais em Inteligência Artificial

Ementa

Bibliografia

Listas de exercícios

Avaliação

Sistemas de Programação com Restrições

Material de apoio:

  • Do livro "Constraint Programming" (Marriot and Stuckey):
  • Sobre Prolog:
  • Programação Lógica com Restrições
  • Paralelismo em Programação Lógica