Learning optimal decision trees with MaxSAT and its integration in AdaBoost H Hu, M Siala, E Hebrard, MJ Huguet IJCAI-PRICAI 2020, 29th International Joint Conference on Artificial …, 2020 | 57 | 2020 |
Optimizing binary decision diagrams with maxsat for classification H Hu, MJ Huguet, M Siala Proceedings of the AAAI Conference on Artificial Intelligence 36 (4), 3767-3775, 2022 | 12 | 2022 |
Description of Benchmarks on Learning Optimal Decision Trees and Boosted Trees H Hu, E Hebrard, MJ Huguet, M Siala MaxSAT Evaluation 2021, 39, 2021 | 2 | 2021 |
OPTDTALS: Approximate Logic Synthesis via Optimal Decision Trees Approach H Hu, S Cai arXiv preprint arXiv:2408.12304, 2024 | | 2024 |
ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization Z Chen, P Lin, H Hu, S Cai arXiv preprint arXiv:2407.21729, 2024 | | 2024 |
Interpretable Machine Learning Models via Maximum Boolean Satisfiability H Hu INSA de Toulouse, 2022 | | 2022 |
Description of Benchmarks on Optimizing Binary Decision Diagrams H Hu, MJ Huguet, M Siala MaxSAT Evaluation 2023, 37, 0 | | |