Entwicklung und Analyse effiziente Algorithmen zur Lösung schwerer Probleme, die sich in den Bereichen Logik, künstlicher Intelligenz und Netzwerken ergeben. Theorie und Anwendung von Methoden aus den Bereichen SAT (Erfüllbarkeit) und Constraint Satisfaction.Nachweisen theoretischer Schranken algorithmischen Methoden.

Design and analysis of efficient algorithms for the solution of hard problems that arise in logic, artificial intelligence, and networks.Theory and Application of SAT (satisfiability) and constraint satisfaction methods.Establishment of theoretical limits for algorithmic techniques.