About
Welcome! I am Bruno Ribeiro, a bachelor in Software Engineering at the University of BrasÃlia. I am mainly interested in solving optimisation problems, especially with automated planning. I am part of the UnB SAT Planning Group.
Interesses
- Automated Planning
- SAT and correlated problems
- Artificial Inteligence
Publications
- "Mojified Pacman: A Deterministic and Fully Observable Variant for PDDL Modeling Competitions", KEPS - ICAPS, 2025.
- "bni: A PDDL to C compiler with integrated REPL for interactive testing", ENIAC - BRACIS, 2025.