Our research is located at the interface between methods from Theoretical Computer Science (such as logic, algorithmics, approximation, and complexity ...