Gerth S. Brodal
Erfüllbarkeitsproblem der Aussagenlogik Scheduling algorithm algorithm analysis algorithm design algorithmic mathematics algorithmics algorithms algorithms theory approximation combinatorial optimization complexity computational complexity convex hull sorting