>> 10/03/2023 – 15:30 – 2023 – DCC/UFMG – Palestra << 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 →