Michele Nogueira Lima DCC/UFMGORCID Lattes Scholar www ← Automatização de raciocínio via solucionadores SMT Problemas de Roteamento na Robótica: Desafios Práticos e Oportunidades →