HomeSearchLibrary
Binary integer programming | OmniWiki