47 citations · 115 across the 13 of their papers we have counts for
1 paper · 1 filter
Aidan Healy, Bartek Klin
We determine the decidability of Karp's NP-complete problems on structures which are first-order definable over the theory of equality, also known as orbit-finite sets with atoms o…