Efficient product portfolio optimization with SAT-based association rule mining using Apriori algorithm | Synapse