Conference
2026
Efficient Explanations for Rule Ensembles
This paper adapts an existing MaxSAT-based explanation framework designed for TEs to function with general REs, and devise a dedicated logic encoding for REs combining SAT solving with pseudo-Boolean (PB) constraints for determining the winning class.
Hao Hu, Alexey Ignatiev, João Marques-Silva
· International Conference on... · 2 citations