We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Stanford AI presentation contains problem description and explanation of heurstics.
Wikipedia page contains theorem for solvability.