Henrik E. C. Cao

Orcid: 0000-0003-0525-4344

According to our database¹, Henrik E. C. Cao authored at least 2 papers between 2020 and 2021.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2021

Hash-Based Preprocessing and Inprocessing Techniques in SAT Solvers.

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020

Learning Explainable Decision Rules via Maximum Satisfiability.

[DOI]

IEEE Access, 2020