Institute for Theoretical Computer Science

The research group for Theoretical Computer Science is dedicated to the investigation of questions related to the nature of computation and its complexity. The main focus points are constraint satisfaction problems, complexity theory, and algebraic and logical methods used for their study.

Publications from members of the institute

2021

2020

2019

2018

2016

2015