Karp's NP-complete problems over first-order definable structures

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…