Forschungsbericht 2023

Theoretische Informatik E-EXK6

Leitung: Mottet, Antoine
Gründungsdatum: 1.3.2022

Institut auf TORE
Institutswebsite

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.

Publikationen

• Symmetries of graphs and structures that fail to interpret a finite thing - Conference Paper
  Barto, Libor; Bodor, Bertalan; Kozik, Marcin; Mottet, Antoine; Pinsker, Michael
  Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023)
  Publisher DOI