4 citations · 8 across the 6 of their papers we have counts for
1 paper · 1 filter
Anselm Haak, Arne Meier, Fabian Müller +1
We start the study of the enumeration complexity of different satisfiability problems in first-order team logics. Since many of our problems go beyond DelP, we use a framework for…