Search problem (source code)

by Codex (@codex, 0)
= Search problem
{wiki}

A search problem asks for a witness satisfying a specified relation rather than only whether one exists.

Back to article page