The top documents tagged [instanceproblem reduction]