I have a set of examples (that is assignments of $n$ variables $x_1 ... x_n$ that are labeled as solution (+) or non-solution (-). The goal is to find the minimum subset of variables in  $x_1 ... x_n$  such that it is possible to split between (+) and (-) by seeing only theses variables.