research
∙
03/02/2022
ReStore: In-Memory REplicated STORagE for Rapid Recovery in Fault-Tolerant Algorithms
Fault-tolerant distributed applications require mechanisms to recover da...
share
research
∙
02/02/2021
Targeted Branching for the Maximum Independent Set Problem
Finding a maximum independent set is a fundamental NP-hard problem that ...
research
∙
08/19/2019
WeGotYouCovered: The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track
We present the winning solver of the PACE 2019 Implementation Challenge,...
research
∙
07/08/2019
More Hierarchy in Route Planning Using Edge Hierarchies
A highly successful approach to route planning in networks (particularly...
research
∙
05/26/2019
Engineering Kernelization for Maximum Cut
Kernelization is a general theoretical framework for preprocessing insta...
research
∙
09/15/2017