co-NP (complexity class)

GPTKB entity