https://1library.org/document/qoolp90q-inteligência-artificial-si-aula-problemas-de-satisfação-restrições.html