Learning Optimal Decision Trees with MaxSAT and its Integration in AdaBoost. - Hao Hu 008; Mohamed Siala 002; Emmanuel Hebrard; Marie-José Huguet (IJCAI, 2020)

Optimizing Binary Decision Diagrams with MaxSAT for Classification. - Hao Hu 008; Marie-José Huguet; Mohamed Siala 002 (AAAI, 2022)

Interpretable Machine Learning Models via Maximum Boolean Satisfiability. (Interpretable Machine Learning Models via Maximum Boolean Satisfiability). - Hao Hu 008 (2022)

ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization. - Zhihan Chen; Peng Lin; Hao Hu 008; Shaowei Cai 001 (CP, 2024)

OPTDTALS: Approximate Logic Synthesis via Optimal Decision Trees Approach. - Hao Hu 008; Shaowei Cai 001 (CoRR, 2024)