Coverage Tours (with Turn Costs)
The optimization of various geometric coverage tour problems with and without turn costs. This is my longest running project with already many publications but still a lot of open questions.
An LNS-based algorithm with lower bound computation for pairwise configuration sampling. This project uses theoretical insights to obtain a practical algorithm that often computes (near-)optimal solutions (with certificates).
Exact Solvers for TSPN-Variants
Engineering exact solvers for Traveling Salesman Problems with Neighborhoods (TSPN) and related problems through the gain and exploitation of theoretical insights.
Minimum Scan Cover
Exploring the Combinatorial Complexities of Synchronizing Directional Antennas' Rotations. The strongest parts of this project are the theoretical results, which are published in the SIAM Journal of Discrete Mathematics
An extensive primer for the constraint programming solver CP-SAT under the CC-BY-4.0 license.
We host optimization challenges for computational geometry problems. The challenges are part of CG Week.
The ESA-project ASIMOV, in collaboration with IRAS, was an exploratory study aimed at enhancing the automation of satellite operations for the future.
CP-SAT Log Analyzer
A webapp that visualizes and annotates your ortools' CP-SAT logs. Partially inspired by gurobi-logtools.
A tool to comfortably check complex LaTeX documents, e.g., dissertations, for common errors. Developed to check the 314 pages of my own dissertation in a structured way.
Experiment execution and result management for empirical evaluations of algorithms in Python.
Solving the Dispersive Art Gallery Problem to optimality via an incremental SAT-solver.
Drone Range Assignment
Determine the optimal placement of drones and range assignments for both terminals and drones to ensure a strongly connected network among the terminals, with the goal of minimizing the overall power consumption.
Analyzing how we can sparsify geometric graphs to strongly improve the runtime of algorithms while preserving solution quality.