Learning the naive Bayes classifier with optimization models | Synapse