On Minimal and Maximal High Utility Itemsets Mining using Propositional Satisfiability | IEEE Conference Publication | IEEE Xplore