USO DE PROGRAMAÇÃO POR RESTRIÇÕES PARA A GERAÇÃO AUTOMÁTICA DO PLANO INDIVIDUAL DE TRABALHO DOCENTE Estudante(s): Larissa Sevilha de Souza Orientador: Lucas Hermann Negri Coorientador: Yujuan Wang FECINOVA Ciências Exatas e da Terra Baixar Resumo