SAT-Based Rigorous Explanations for Decision Lists

Open in new window