Hao Hu

Orcid: 0000-0003-4103-3098

Affiliations:

Institute of Software, Chinese Academy of Sciences, China
LAAS-CNRS, Université de Toulouse, France (Ph.D.)

According to our database¹, Hao Hu authored at least 5 papers between 2020 and 2024.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

OPTDTALS: Approximate Logic Synthesis via Optimal Decision Trees Approach.

[BibT_eX]

[DOI]

Hao Hu

Shaowei Cai

CoRR, 2024

ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

2022

Interpretable Machine Learning Models via Maximum Boolean Satisfiability. (Interpretable Machine Learning Models via Maximum Boolean Satisfiability).

[BibT_eX]

[DOI]

Hao Hu

PhD thesis, 2022

Optimizing Binary Decision Diagrams with MaxSAT for Classification.

[BibT_eX]

[DOI]

Hao Hu

Marie-José Huguet

Mohamed Siala

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2020

Learning Optimal Decision Trees with MaxSAT and its Integration in AdaBoost.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Hao Hu

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...