TY  - RPRT
TI  - Optimizing Binary Decision Diagrams with MaxSAT for classification
AU  - Hao Hu
AU  - Marie-José Huguet
AU  - Mohamed Siala
PY  - 2022
UR  - https://arxiv.org/abs/2203.11386
ID  - 2203.11386
ER  -