Optimizing Binary Decision Diagrams with MaxSAT for Classification.

Hao Hu Marie-José Huguet Mohamed Siala

Published in: AAAI (2022)

Keyphrases

binary decision diagrams
classification accuracy
database
machine learning
data structure
data model
branch and bound algorithm
boolean functions
bayesian classifier