Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi. Enumerating Non-redundant Association Rules Using Satisfiability. In Jinho Kim, Kyuseok Shim, Longbing Cao, Jae-Gil Lee, Xuemin Lin, Yang-Sae Moon, editors, Advances in Knowledge Discovery and Data Mining - 21st Pacific-Asia Conference, PAKDD 2017, Jeju, South Korea, May 23-26, 2017, Proceedings, Part I. Volume 10234 of Lecture Notes in Computer Science, pages 824-836, 2017. [doi]
Abstract is missing.