Learning Explainable Decision Rules via Maximum Satisfiability. - Henrik E. C. Cao; Riku Sarlin; Alexander Jung (IEEE Access, 2020)

Hash-Based Preprocessing and Inprocessing Techniques in SAT Solvers. - Henrik E. C. Cao (SAT, 2021)