| Computing optimal decision sets with SAT J Yu, A Ignatiev, PJ Stuckey, P Le Bodic Principles and Practice of Constraint Programming: 26th International …, 2020 | 32 | 2020 |
| Eliminating the impossible, whatever remains must be true: On extracting and applying background knowledge in the context of formal explanations J Yu, A Ignatiev, PJ Stuckey, N Narodytska, J Marques-Silva Proceedings of the AAAI Conference on Artificial Intelligence 37 (4), 4123-4131, 2023 | 19 | 2023 |
| Learning optimal decision sets and lists with sat J Yu, A Ignatiev, PJ Stuckey, P Le Bodic Journal of Artificial Intelligence Research 72, 1251-1279, 2021 | 12 | 2021 |
| Optimal decision lists using SAT J Yu, A Ignatiev, PL Bodic, PJ Stuckey arXiv preprint arXiv:2010.09919, 2020 | 12 | 2020 |
| On Formal Feature Attribution and Its Approximation J Yu, A Ignatiev, PJ Stuckey arXiv preprint arXiv:2307.03380, 2023 | 4 | 2023 |
| From formal boosted tree explanations to interpretable rule sets J Yu, A Ignatiev, PJ Stuckey 29th International Conference on Principles and Practice of Constraint …, 2023 | 3 | 2023 |
| Anytime Approximate Formal Feature Attribution J Yu, G Farr, A Ignatiev, PJ Stuckey arXiv preprint arXiv:2312.06973, 2023 | 2 | 2023 |
