research
∙
06/12/2020
Enumerating Teams in First-Order Team Logics
We start the study of the enumeration complexity of different satisfiabi...
share
research
∙
04/27/2019
Parameterised Counting Classes with Bounded Nondeterminism
Stockhusen and Tantau (IPEC 2013) introduced the operators paraW and par...
research
∙
02/01/2019
Counting of Teams in First-Order Team Logics
We study descriptive complexity of counting complexity classes in the ra...
research
∙
10/05/2017