Reducing redundancy in characteristic rule discovery by using integer programming techniques