Trabalho de I.A. 2014-1 da UFRJ - Implementar Algoritmo arco consistente