HomeSearchLibrary
Polynomial-time algorithm | OmniWiki