Open AccessOptimizing Binary Decision Diagrams with MaxSAT for Classification
Author(s) -
Hao Hu,
MarieJosé Huguet,
Mohamed Siala
Publication year - 2022
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v36i4.20291
Subject(s) - binary decision diagram , maximum satisfiability problem , computer science , interpretability , artificial intelligence , merge (version control) , machine learning , heuristics , binary number , boolean function , algorithm , mathematics , arithmetic , information retrieval , operating system