 Search-to-decision reduction

A search-to-decision reduction reconstructs a witness by making queries that only decide whether a suitable witness exists.