The KI-LAB-ITSE is a joint initative of the six HPI research groups of Bert Arnrich, Jürgen Döllner, Tobias Friedrich, Robert Hirschfeld, Christoph Lippert and Christoph Meinel. The focus is on the topics of planning, developing and optimization of AI applications and AI systems. The chair for algorithm engineering contributes with research work on the foundations of artificial intelligence, e.g. in satisfiability and network algorithms.