Resolução de problemas em CSP, usando a pesquisa em profundidade com retrocesso e as várias heurísticas de selecção de variáveis e formas de inferência como a verificação para a frente e a manutenção da consistência dos arcos.

Ficha de avaliação contínua.