Optimizing Binary Decision Diagrams with MaxSAT for Classification

Hu et al. "Optimizing Binary Decision Diagrams with MaxSAT for Classification." AAAI Conference on Artificial Intelligence, 2022. doi:10.1609/AAAI.V36I4.20291

[Hu et al. "Optimizing Binary Decision Diagrams with MaxSAT for Classification." AAAI Conference on Artificial Intelligence, 2022.](https://mlanthology.org/aaai/2022/hu2022aaai-optimizing/) doi:10.1609/AAAI.V36I4.20291

@inproceedings{hu2022aaai-optimizing,
  title     = {{Optimizing Binary Decision Diagrams with MaxSAT for Classification}},
  author    = {Hu, Hao and Huguet, Marie-José and Siala, Mohamed},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2022},
  pages     = {3767-3775},
  doi       = {10.1609/AAAI.V36I4.20291},
  url       = {https://mlanthology.org/aaai/2022/hu2022aaai-optimizing/}
}