72 citations · 368 across the 79 of their papers we have counts for
1 paper · 2 filters
Manuel Bodirsky, Philipp A. Grzywaczyk
We study definability in fixed-point logic with counting (FPC) for a class of constraint satisfaction problems (CSPs) that simultaneously generalises finite-domain CSPs and tempora…