Resolução de exercícios de Constraint Satisfa

7 Maio 2019, 15:30 Paulo Jorge Cunha Vaz Dias Urbano

Resolução de problemas de satisfação de restrições.
Backtracking com heurísticas e inferência baseada no forward checking.