Undergraduate research (Iniciação Científica)

Research projects carried out under the PIBIC and PIBITI programmes. Several of these projects later turned into theses or publications.

Table of contents

  1. SAT & Pseudo-Boolean
  2. Automated Planning
  3. CD-MOJ & Competitive Programming

SAT & Pseudo-Boolean

  • Gabriel Marques Tiveron (IC, 2020). Codificação pseudo-Booleana do Desafio do Cadeado. scholarship Pseudo-Boolean encoding of the Padlock Challenge

Automated Planning

  • Bruno Campos Ribeiro (IC, 2024). Do PDDL ao C: explorando novos caminhos com bni. PIBIC From PDDL to C: exploring new paths with bni
  • Daniel dos Santos Barros de Sousa (IC, 2024). Planejamento automatizado para jogos de estratégia em tempo real. Automated planning for real-time strategy games
  • Igor e Silva Penha (IC, 2024). Descomplicando o PDDL: aprendizado facilitado com o REPL bni. Demystifying PDDL: easier learning with the bni REPL

CD-MOJ & Competitive Programming

  • Davi Antônio da Silva Santos (IC, 2022). Atualização dos pacotes Maratona-Linux para Ubuntu 22.04. scholarship · project Updating the Maratona-Linux packages to Ubuntu 22.04
  • Davi Antônio da Silva Santos (IC, 2021). Atualização dos pacotes Maratona-Linux para Ubuntu 20.04. scholarship · project Updating the Maratona-Linux packages to Ubuntu 20.04
  • Guilherme Antonio Deusdará Banci (IC, 2020). Atualização dos pacotes Maratona-Linux para Ubuntu 20.04. scholarship · project Updating the Maratona-Linux packages to Ubuntu 20.04

UnB-SAT is a research and teaching group, not yet a formally consolidated laboratory at UnB; a proposal to establish the laboratory is planned for the near future. Built with support from Claude (Anthropic).

This site uses Just the Docs, a documentation theme for Jekyll.