HomeSearchLibrary
Subset simulation | OmniWiki