https://9lib.net/document/yr380727-hardness-inapproximability-results-minimum-verification-minimum-decision-problems.html