Home / Computer science
The complexity class of decision problems whose
all solutions are verifiable in polynomial time.