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.
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
Proof checker for proof logging methods using pseudo-Boolean reasoning for various combinatorial solving, optimization and enumeration algorithms.
This toolbox provides functions and data structures to construct and handle ultrametric matrices in Rust and Python.
Python module for sending and receiving 433/315MHz LPD/SRD signals with generic low-cost GPIO RF modules on a Raspberry Pi.