Sledovat
Hao Hu
Název
Citace
Citace
Rok
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
562020
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–7