Text this: Propositional satisfiability algorithm to find minimal reducts for data mining