HomeSearchLibrary
Constant-factor approximation algorithm | OmniWiki