Redes de restrições. Propagação de restrições. Estratégias gerais de busca. Métodos baseados em consistência. Métodos baseados em decomposição de árvores. Linguagens para programação baseada em restrições. Otimização de restrições. Redes probabilísticas.

Programação lógica baseada em restrições.