HomeSearchLibrary
Constant-factor approximation algorithms | OmniWiki