SAT-Based Rigorous Explanations for Decision Lists.

Alexey Ignatiev, Joo Marques-Silva

Browse the full SAT paper archive.