Login / Signup
Henrik E. C. Cao
ORCID
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Search Space
Preprocessing
Propositional Satisfiability
Sat Solvers
Top Venues
SAT
IEEE Access
</>
Publications
</>
Henrik E. C. Cao
Hash-Based Preprocessing and Inprocessing Techniques in SAT Solvers.
SAT
(2021)
Henrik E. C. Cao
,
Riku Sarlin
,
Alexander Jung
Learning Explainable Decision Rules via Maximum Satisfiability.
IEEE Access
8 (2020)