39 citations · 99 across the 19 of their papers we have counts for
1 paper · 2 filters
Manuel Bodirsky, Michael Pinsker, Todor Tsankov
For a fixed countably infinite structure Γ with finite relational signature τ, we study the following computational problem: input are quantifier-free τ-formulas ϕ_0,ϕ_1,...,ϕ_n th…