A avaliação do curso será feita através de:

• trabalho de implementação;
• monografia com apresentação oral.

Temas sugeridos: Implementação

• Paralelização de 'solvers' para domínios finitos ou infinitos.
• Técnicas de desenvolvimento de aplicações eficientes.
• Paralelização de sistemas de programação lógica com restrições.
• Análise de performance de sistemas de restrições.

Temas sugeridos: Monografia com apresentação oral

• Estudo de 'solvers' para sistemas conhecidos (ILOG solver, CLP(R), SICStus Prolog, Eclipse, Mozart etc): aplicações, domínios, tipos de 'solvers', performance, limitações.
• Paralelização de 'solvers'.
• Paralelização de sistemas de programação com restrições.
• Linguagens de programação com restrições: sintaxe, semântica, finalidade, estado da arte.
• Compilação de linguagens de programação com restrições.
• Limitações tecnólogicas e teóricas de sistemas seqüenciais de programação com restrições (existe algum problema que não tenha solução?)