Theses and dissertations
Completed undergraduate theses are on the BDM and M.Sc. dissertations on the UnB repository.
Table of contents
Current students (in progress)
Work under way, not yet defended, so there is no public document yet. Titles may still change.
SAT & Pseudo-Boolean
- Arthur Grandão de Mello (B.Sc. TCC, in progress). Otimizador de campeonatos esportivos (provisional title). Sports-championship optimizer
Automated Planning
- André Emanuel Bispo da Silva (B.Sc. TCC, in progress). Aquasplash: uma abordagem em planejamento automatizado (provisional title). Aquasplash: an automated-planning approach
- Arthur Ribeiro e Sousa (B.Sc. TCC, in progress). GGP-LLM: um jogador GGP baseado em LLM (provisional title). GGP-LLM: an LLM-based General Game Playing agent (joint TCC with Caio Felipe Rocha Rodrigues)
- Caio Felipe Rocha Rodrigues (B.Sc. TCC, in progress). GGP-LLM: um jogador GGP baseado em LLM (provisional title). GGP-LLM: an LLM-based General Game Playing agent (joint TCC with Arthur Ribeiro e Sousa)
- Carlos Eduardo Mota Alves (B.Sc. TCC, in progress). Planejamento como satisfatibilidade: novas abordagens e estudo de caso (provisional title). Planning as satisfiability: new approaches and a case study
- Guilherme Westphall (B.Sc. TCC, in progress). Escalonamento na Gollen Network com planejamento em inteligência artificial (provisional title). Scheduling on the Gollen Network via AI planning (joint TCC with Lucas Martins Gabriel)
- Lucas Martins Gabriel (B.Sc. TCC, in progress). Escalonamento na Gollen Network com planejamento em inteligência artificial (provisional title). Scheduling on the Gollen Network via AI planning (joint TCC with Guilherme Westphall)
- André Emanuel Bispo da Silva (IC, PIBIC, expected August 2026). Planejamento automatizado para o jogo com transições complexas (Aquasplash). Automated planning for a game with complex transitions (Aquasplash)
- Carlos Eduardo Mota Alves (IC, PIBIC, expected August 2026). Investigação do uso de núcleos de insatisfatibilidade para identificação de problemas sem solução em planejamento automatizado. Using unsatisfiability cores to detect unsolvable automated-planning problems
Completed theses and dissertations
SAT & Pseudo-Boolean
- Guilherme Puida Moreira (B.Sc., 2025). Modelagem Lógica do Quebra-Cabeça Binairo+. Logical modeling of the Binairo+ puzzle
- Luís Henrique Pereira Taira (B.Sc., 2023). Uma implementação paralela em GPU do algoritmo Walksat. thesis A parallel GPU implementation of the WalkSAT algorithm
- André Lucas de Sousa Pinto (B.Sc., 2022). Resolvendo fórmulas Horn mistas com um algoritmo O(2^(0.5284 n)). thesis · code Solving mixed-Horn formulas with an O(2^(0.5284 n)) algorithm
- Felipe Borges de Souza Chaves (B.Sc., 2022). PluSAT: um resolvedor SAT modular. thesis · code PluSAT: a modular SAT solver
- Gabriel Marques Tiveron (B.Sc., 2022). Banco de dados em grafos: uma conversão para restrições pseudo-booleanas. thesis · code Graph databases: a translation to pseudo-Boolean constraints
- Lucas Gomes Silva (B.Sc., 2022). Representação AIG como formato de entrada para o LIAMFSAT. thesis AIG representation as an input format for LIAMFSAT
- Ulysses Bernard Mendes Lara (B.Sc., 2020). Uma abordagem pseudo-booleana para consolidação de máquinas virtuais com restrições de afinidade. thesis A pseudo-Boolean approach to virtual-machine consolidation with affinity constraints
Automated Planning
- Bruno Campos Ribeiro (B.Sc., 2025). Optimisation of SAT-Based Planning via Hybrid and Prioritised Asynchronous Binary Search Strategies: an extension of the Madagascar planner. Optimising SAT-based planning (an extension of the Madagascar planner)
- Igor e Silva Penha (B.Sc., 2025). Optimisation of SAT-Based Planning via Hybrid and Prioritised Asynchronous Binary Search Strategies: an extension of the Madagascar planner. Optimising SAT-based planning (an extension of the Madagascar planner)
- Lucas Gobbi Bergholz (B.Sc., 2025). Planning-Based Game Design: An Architecture for Storyline Tracking. Planning-based game design: an architecture for storyline tracking
- Wagner Martins da Cunha (B.Sc., 2025). Into The PDDL: Planejamento Automático Adversarial. thesis Into The PDDL: adversarial automated planning
- Rodrigo Tiago Costa Lima (B.Sc., 2024). Resolvendo Xian-Xiang como planejamento. thesis Solving Xian-Xiang as automated planning
- Antonio Ruan Moura Barreto (B.Sc., 2023). Infraplanning: uma plataforma web para desenvolvimento em PDDL. thesis Infraplanning: a web platform for PDDL development
- João Luís Takur Baraky Dias (B.Sc., 2023). Otimização de grade horária por planejamento. thesis Course-timetabling optimization via automated planning
- Marcelo Martins de Oliveira (B.Sc., 2023). Planejamento clássico: análise para otimização do tempo de geração de fórmulas do SATPLAN. thesis Classical planning: optimizing SATPLAN’s formula-generation time
- Samuel de Souza Buters Pereira (B.Sc., 2023). Resolvendo Puzznic através de planejamento automatizado. thesis Solving Puzznic via automated planning
- Guilherme Antonio Deusdará Banci (B.Sc., 2022). Resolvendo pipe mania como planejamento. thesis Solving Pipe Mania as automated planning
- Mateus Nascimento Nóbrega (B.Sc., 2022). Modificando o SATPLAN06 com outros métodos de busca. thesis Modifying SATPLAN06 with alternative search methods
CD-MOJ & Competitive Programming
- Caio Martins Ferreira (B.Sc., 2024). CD-MOJ: implementação do módulo de treinamento livre. thesis CD-MOJ: implementing the free-training module
- Lucas Gomes Caldas (B.Sc., 2024). Escalonamento de múltiplas filas no CD-MOJ. thesis Multi-queue scheduling in CD-MOJ
- Luciano dos Santos Silva (B.Sc., 2022). CD-MOJ: contribuições para melhorias no sistema. thesis CD-MOJ: contributions and system improvements
Artificial Intelligence (broad)
- Marcelo Anselmo de Souza Filho (M.Sc., 2025). Inteligência artificial no MPF: uma solução baseada em IA para pseudonimização de dados pessoais. thesis AI at the Federal Prosecution Service (MPF): personal-data pseudonymization (NLP / NER)
- Bruno Gomes Resende (M.Sc., 2024). Mineração de dados na previsão de melhor canal de abordagem para próxima melhor ação no relacionamento hiper personalizado com o cliente bancário. thesis Data mining for next-best-action and best-channel prediction in hyper-personalized banking CRM