HomeSearchLibrary
Probabilistic algorithm | OmniWiki