Hi, I am Andy! I am a PhD student at Lund University in Lund, Sweden and University of Copenhagen in Copenhagen, Denmark.
I am a member of the Mathematical Insights into Algorithms for Optimization (MIAO) Group led by Jakob Nordström.
My interests are in combinatorial optimization with a focus on pseudo-Boolean optimization and certifying the correctness of combinatorial optimization solvers.
Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande
Submitted to CADE'23
Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), 2022
Best Paper Award at SAT 2022
Josefran de Oliveira Bastos, Hanno Lefmann, Andy Oertel, Carlos Hoppen, Dionatan Ricardo Schmidt
LAGOS (Procedia Computer Science), 2021