Follow
Hao Hu
Title
Cited by
Cited by
Year
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
572020
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
122022
Description of Benchmarks on Learning Optimal Decision Trees and Boosted Trees
H Hu, E Hebrard, MJ Huguet, M Siala
MaxSAT Evaluation 2021, 39, 2021
22021
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
The system can't perform the operation now. Try again later.
Articles 1–7