The top documents tagged [refinement of algorithms]