Patent Number: 8,819,037

Title: Search optimization in a computing environment

Abstract: Systems and methods for verifying membership in one or more sets that are subsets of a global set are provided. The method compromises representing members of the global set by mapping each member to a distinct Boolean variable of length d, wherein 2.sup.d is not less than the number of members in the global set; representing each of the given subsets of the global set by a Boolean expression which evaluates to a first value for any of the assignments to the Boolean variables which represent members of the subset, and which evaluates to a second value for any of the assignments to the Boolean variables which represent members of the global set that are not members of the subset.

Inventors: Bnayahu; Jonathan (Haifa, IL), Landau; Ariel (Nesher, IL), Nisenson; Mordechai (Haifa, IL)

Assignee: International Business Machines Corporation

International Classification: G06F 17/30 (20060101); G06F 17/00 (20060101)

Expiration Date: 8/26/12018