HomeSearchLibrary
Longest increasing subsequence | OmniWiki