TY  - RPRT
TI  - SAT-Based Rigorous Explanations for Decision Lists
AU  - Alexey Ignatiev
AU  - Joao Marques-Silva
PY  - 2021
UR  - https://arxiv.org/abs/2105.06782
ID  - 2105.06782
ER  -