Enumerating Non-redundant Association Rules Using Satisfiability.

Abdelhamid Boudane Saïd Jabbour Lakhdar Sais Yakoub Salhi

Published in: PAKDD (1) (2017)

Keyphrases

satisfiability problem
propositional logic
computational complexity
np complete
phase transition
terminological reasoning
decision procedures
data sets
knowledge base
multi agent systems
sat instances
satisfiability testing