OPUS: An Efficient Admissible Algorithm for Unordered Search