Patrocinado por Um Tratamento para Programação por Restrições com DPLL(T): A Restrição alldifferent. Documento
