10. Satisfação de restrições

Trata problemas em que a solução precisa obedecer a regras combinatórias, como horários, alocação de recursos e sudoku. O capítulo cobre variáveis, domínios, restrições, propagação e backtracking.