Approximation of Optimal Two-Dimensional Association Rules for Categorical Attributes Using Semidefinite Programming