Is solving harder than checking? Oded Goldreich Weizmann Institute of Science.
Is solving harder than checking?