Farid M. Ablaev
Alphabet Erfüllbarkeitsproblem der Aussagenlogik Graph algorithmics algorithms automata complexity computability constraint satisfaction problem maximum spanning tree optimization quantum computation security protocols theoretical computer science turing machine