@misc{yu_2023,
  title         = {On Formal Feature Attribution and Its Approximation},
  author        = {Jinqiang Yu and Alexey Ignatiev and Peter J. Stuckey},
  year          = {2023},
  eprint        = {2307.03380},
  archiveprefix = {arXiv},
  primaryclass  = {cs.AI},
  url           = {https://arxiv.org/abs/2307.03380}
}

@misc{wu_2023,
  title         = {VeriX: Towards Verified Explainability of Deep Neural Networks},
  author        = {Min Wu and Haoze Wu and Clark Barrett},
  year          = {2023},
  eprint        = {2212.01051},
  archiveprefix = {arXiv},
  primaryclass  = {cs.LG},
  url           = {https://arxiv.org/abs/2212.01051}
}

@article{liffiton_2015,
  author  = {Liffiton, Mark and Previti, Alessandro and Malik, Ammar and Marques-Silva, Joao},
  year    = {2015},
  month   = {03},
  title   = {Fast, flexible MUS enumeration},
  volume  = {21},
  journal = {Constraints},
  doi     = {10.1007/s10601-015-9183-0}
}

@article{izza_2024,
  title     = {Delivering Inflated Explanations},
  volume    = {38},
  issn      = {2159-5399},
  url       = {http://dx.doi.org/10.1609/aaai.v38i11.29170},
  doi       = {10.1609/aaai.v38i11.29170},
  number    = {11},
  journal   = {Proceedings of the AAAI Conference on Artificial Intelligence},
  publisher = {Association for the Advancement of Artificial Intelligence (AAAI)},
  author    = {Izza, Yacine and Ignatiev, Alexey and Stuckey, Peter J. and Marques-Silva, Joao},
  year      = {2024},
  month     = {mar},
  pages     = {12744--12753}
}

@article{ignatiev_2018,
 title = {A SAT-Based Approach to Learn Explainable Decision Sets},
 volume = {10900},
 isbn = {978-3-319-94205-6},
 url = {http://dx.doi.org/10.1007/978-3-319-94205-6_41},
 doi = {10.1007/978-3-319-94205-6_41},
 journal = {Automated Reasoning},
 publisher = {Springer International Publishing},
 author = {Ignatiev, Alexey and Pereira, Filipe and Narodytska, Nina and Marques-Silva, Joao},
 year = {2018},
 pages = {627--645}
}

@article{DBLP:journals/eor/CarrizosaRM24,
  author       = {Emilio Carrizosa and
                  Jasone Ram{\'{\i}}rez{-}Ayerbe and
                  Dolores Romero Morales},
  title        = {Mathematical optimization modelling for group counterfactual explanations},
  journal      = {Eur. J. Oper. Res.},
  volume       = {319},
  number       = {2},
  pages        = {399--412},
  year         = {2024}
}

@article{DBLP:journals/widm/ConfalonieriCWB21,
  author       = {Roberto Confalonieri and
                  Ludovik Coba and
                  Benedikt Wagner and
                  Tarek R. Besold},
  title        = {A historical perspective of explainable Artificial Intelligence},
  journal      = {WIREs Data Mining Knowl. Discov.},
  volume       = {11},
  number       = {1},
  year         = {2021}
}

@article{DBLP:journals/air/MinhWLN22,
  author       = {Dang Minh and
                  H. Xiang Wang and
                  Y. Fen Li and
                  Tan N. Nguyen},
  title        = {Explainable artificial intelligence: a comprehensive review},
  journal      = {Artif. Intell. Rev.},
  volume       = {55},
  number       = {5},
  pages        = {3503--3568},
  year         = {2022}
}

@article{DBLP:journals/datamine/BodriaGGNPR23,
  author       = {Francesco Bodria and
                  Fosca Giannotti and
                  Riccardo Guidotti and
                  Francesca Naretto and
                  Dino Pedreschi and
                  Salvatore Rinzivillo},
  title        = {Benchmarking and survey of explanation methods for black box models},
  journal      = {Data Min. Knowl. Discov.},
  volume       = {37},
  number       = {5},
  pages        = {1719--1778},
  year         = {2023}
}

@inproceedings{DBLP:conf/isola/MarquesSilva24,
  author       = {Jo{\~{a}}o Marques{-}Silva},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Logic-Based Explainability: Past, Present and Future},
  booktitle    = {Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods Verification and Validation},
  series       = {Lecture Notes in Computer Science},
  volume       = {15222},
  pages        = {181--204},
  publisher    = {Springer},
  year         = {2024}
}

@article{DBLP:journals/csur/KarimiBSV23,
  author       = {Amir{-}Hossein Karimi and
                  Gilles Barthe and
                  Bernhard Sch{\"{o}}lkopf and
                  Isabel Valera},
  title        = {A Survey of Algorithmic Recourse: Contrastive Explanations and Consequential
                  Recommendations},
  journal      = {{ACM} Comput. Surv.},
  volume       = {55},
  number       = {5},
  pages        = {95:1--95:29},
  year         = {2023}
}

@inproceedings{DBLP:conf/ijcai/ShihCD18,
  author       = {Andy Shih and
                  Arthur Choi and
                  Adnan Darwiche},
  editor       = {J{\'{e}}r{\^{o}}me Lang},
  title        = {A Symbolic Approach to Explaining Bayesian Network Classifiers},
  booktitle    = {Proceedings of the Twenty-Seventh International Joint Conference on
                  Artificial Intelligence},
  pages        = {5103--5111},
  publisher    = {ijcai.org},
  year         = {2018}
}

@inproceedings{DBLP:conf/aaai/0001I22,
  author       = {Jo{\~{a}}o Marques{-}Silva and
                  Alexey Ignatiev},
  title        = {Delivering Trustworthy {AI} through Formal {XAI}},
  booktitle    = {Proceedings of the Thirty-Sixth {AAAI} Conference on Artificial Intelligence},
  pages        = {12342--12350},
  publisher    = {{AAAI} Press},
  year         = {2022}
}

@inproceedings{DBLP:conf/ijcai/Izza021,
  author       = {Yacine Izza and
                  Jo{\~{a}}o Marques{-}Silva},
  editor       = {Zhi{-}Hua Zhou},
  title        = {On Explaining Random Forests with {SAT}},
  booktitle    = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence},
  pages        = {2584--2591},
  publisher    = {ijcai.org},
  year         = {2021}
}

@inproceedings{DBLP:conf/sat/IgnatievS21,
  author       = {Alexey Ignatiev and
                  Jo{\~{a}}o Marques{-}Silva},
  editor       = {Chu{-}Min Li and
                  Felip Many{\`{a}}},
  title        = {SAT-Based Rigorous Explanations for Decision Lists},
  booktitle    = {Proceedings of Theory and Applications of Satisfiability Testing},
  series       = {Lecture Notes in Computer Science},
  volume       = {12831},
  pages        = {251--269},
  publisher    = {Springer},
  year         = {2021}
}

@inproceedings{DBLP:conf/icml/ParmentierV21,
  author       = {Axel Parmentier and
                  Thibaut Vidal},
  editor       = {Marina Meila and
                  Tong Zhang},
  title        = {Optimal Counterfactual Explanations in Tree Ensembles},
  booktitle    = {Proceedings of the 38th International Conference on Machine Learning},
  series       = {Proceedings of Machine Learning Research},
  volume       = {139},
  pages        = {8422--8431},
  publisher    = {{PMLR}},
  year         = {2021}
}

@inproceedings{DBLP:conf/nips/Wu0B23,
  author       = {Min Wu and
                  Haoze Wu and
                  Clark W. Barrett},
  editor       = {Alice Oh and
                  Tristan Naumann and
                  Amir Globerson and
                  Kate Saenko and
                  Moritz Hardt and
                  Sergey Levine},
  title        = {VeriX: Towards Verified Explainability of Deep Neural Networks},
  booktitle    = {Advances in Neural Information Processing Systems},
  year         = {2023}
}

@inproceedings{DBLP:conf/cav/WuIZTDKRAJBHLWZKKB24,
  author       = {Haoze Wu and
                  Omri Isac and
                  Aleksandar Zeljic and
                  Teruhiro Tagomori and
                  Matthew L. Daggitt and
                  Wen Kokke and
                  Idan Refaeli and
                  Guy Amir and
                  Kyle Julian and
                  Shahaf Bassan and
                  Pei Huang and
                  Ori Lahav and
                  Min Wu and
                  Min Zhang and
                  Ekaterina Komendantskaya and
                  Guy Katz and
                  Clark W. Barrett},
  editor       = {Arie Gurfinkel and
                  Vijay Ganesh},
  title        = {Marabou 2.0: {A} Versatile Formal Analyzer of Neural Networks},
  booktitle    = {Computer Aided Verification - 36th International Conference, {CAV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14682},
  pages        = {249--264},
  publisher    = {Springer},
  year         = {2024}
}

@inproceedings{DBLP:conf/aistats/AudemardLMS23,
  author       = {Gilles Audemard and
                  Jean{-}Marie Lagniez and
                  Pierre Marquis and
                  Nicolas Szczepanski},
  editor       = {Francisco J. R. Ruiz and
                  Jennifer G. Dy and
                  Jan{-}Willem van de Meent},
  title        = {Computing Abductive Explanations for Boosted Trees},
  booktitle    = {International Conference on Artificial Intelligence and Statistics},
  series       = {Proceedings of Machine Learning Research},
  volume       = {206},
  pages        = {4699--4711},
  publisher    = {{PMLR}},
  year         = {2023}
}

@article{DBLP:journals/corr/abs-2505-10991,
  author       = {Yacine Izza and
                  Alexey Ignatiev and
                  Sasha Rubin and
                  Jo{\~{a}}o Marques{-}Silva and
                  Peter J. Stuckey},
  title        = {Most General Explanations of Tree Ensembles (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/2505.10991},
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2505.10991},
  doi          = {10.48550/ARXIV.2505.10991},
  eprinttype    = {arXiv},
  eprint       = {2505.10991}
}

@article{DBLP:journals/corr/abs-2303-09297,
  author       = {Greta Warren and
                  Mark T. Keane and
                  Christophe Gu{\'{e}}ret and
                  Eoin Delaney},
  title        = {Explaining Groups of Instances Counterfactually for {XAI:} {A} Use
                  Case, Algorithm and User Study for Group-Counterfactuals},
  journal      = {CoRR},
  volume       = {abs/2303.09297},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2303.09297},
  doi          = {10.48550/ARXIV.2303.09297},
  eprinttype    = {arXiv},
  eprint       = {2303.09297},
  timestamp    = {Mon, 20 Mar 2023 15:23:19 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-09297.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eswa/CarrizosaRM24,
  author       = {Emilio Carrizosa and
                  Jasone Ram{\'{\i}}rez{-}Ayerbe and
                  Dolores Romero Morales},
  title        = {Generating collective counterfactual explanations in score-based classification
                  via mathematical optimization},
  journal      = {Expert Syst. Appl.},
  volume       = {238},
  number       = {Part {E}},
  pages        = {121954},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.eswa.2023.121954},
  doi          = {10.1016/J.ESWA.2023.121954},
  timestamp    = {Sun, 31 Dec 2023 19:06:59 +0100},
  biburl       = {https://dblp.org/rec/journals/eswa/CarrizosaRM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2405-17642,
  author       = {Patryk Wielopolski and
                  Oleksii Furman and
                  Jerzy Stefanowski and
                  Maciej Zieba},
  title        = {Unifying Perspectives: Plausible Counterfactual Explanations on Global,
                  Group-wise, and Local Levels},
  journal      = {CoRR},
  volume       = {abs/2405.17642},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2405.17642},
  doi          = {10.48550/ARXIV.2405.17642},
  eprinttype    = {arXiv},
  eprint       = {2405.17642},
  timestamp    = {Tue, 18 Jun 2024 16:10:22 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2405-17642.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/JiangL0T23,
  author       = {Junqi Jiang and
                  Francesco Leofante and
                  Antonio Rago and
                  Francesca Toni},
  editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {Formalising the Robustness of Counterfactual Explanations for Neural
                  Networks},
  booktitle    = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2023, Thirty-Fifth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
                  7-14, 2023},
  pages        = {14901--14909},
  publisher    = {{AAAI} Press},
  year         = {2023}
}

@inproceedings{DBLP:conf/ijcai/JiangL0T24,
  author       = {Junqi Jiang and
                  Francesco Leofante and
                  Antonio Rago and
                  Francesca Toni},
  title        = {Robust Counterfactual Explanations in Machine Learning: {A} Survey},
  booktitle    = {Proceedings of the Thirty-Third International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2024, Jeju, South Korea, August 3-9,
                  2024},
  pages        = {8086--8094},
  publisher    = {ijcai.org},
  year         = {2024}
}

@inproceedings{DBLP:conf/kr/IzzaH0PI024,
  author       = {Yacine Izza and
                  Xuanxiang Huang and
                  Ant{\'{o}}nio Morgado and
                  Jordi Planes and
                  Alexey Ignatiev and
                  Jo{\~{a}}o Marques{-}Silva},
  editor       = {Pierre Marquis and
                  Magdalena Ortiz and
                  Maurice Pagnucco},
  title        = {Distance-Restricted Explanations: Theoretical Underpinnings {\&}
                  Efficient Implementation},
  booktitle    = {Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2024},
  year         = {2024}
}

@article{DBLP:journals/corr/abs-2306-03048,
  author       = {Xuanxiang Huang and
                  Jo{\~{a}}o Marques{-}Silva},
  title        = {From Robustness to Explainability and Back Again},
  journal      = {CoRR},
  volume       = {abs/2306.03048},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2306.03048},
  doi          = {10.48550/ARXIV.2306.03048},
  eprinttype    = {arXiv},
  eprint       = {2306.03048},
  timestamp    = {Tue, 13 Jun 2023 15:56:49 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2306-03048.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@misc{openml_leaf,
  author = {OpenML},
  title = {Leaf Dataset},
  howpublished = {\url{https://www.openml.org/d/1482}},
  note = {OpenML ID: 1482}
}

@misc{openml_parkinsons,
  author = {OpenML},
  title = {Parkinsons Dataset},
  howpublished = {\url{https://www.openml.org/d/1488}},
  note = {OpenML ID: 1488}
}

@misc{openml_glass,
  author = {OpenML},
  title = {Glass Dataset},
  howpublished = {\url{https://www.openml.org/d/41}},
  note = {OpenML ID: 41}
}

@misc{sklearn_wine,
  author = {Aeberhard, Stefan and Forina, Michele},
  title = {Wine Dataset},
  year = {1992},
  publisher = {UCI Machine Learning Repository},
  doi = {10.24432/C5PC7J},
  url = {https://doi.org/10.24432/C5PC7J}
}

@article{sklearn_diabetes,
  title={Least angle regression},
  author={Efron, Bradley and Hastie, Trevor and Johnstone, Iain and Tibshirani, Robert},
  journal={The Annals of Statistics},
  volume={32},
  number={2},
  pages={407--499},
  year={2004},
  publisher={Institute of Mathematical Statistics}
}

@article{DBLP:journals/corr/abs-2302-08160,
  author       = {Xuanxiang Huang and
                  Jo{\~{a}}o Marques{-}Silva},
  title        = {The Inadequacy of Shapley Values for Explainability},
  journal      = {CoRR},
  volume       = {abs/2302.08160},
  year         = {2023}
}

@article{DBLP:journals/cacm/MarquesSilvaH24,
  author       = {Jo{\~{a}}o Marques{-}Silva and
                  Xuanxiang Huang},
  title        = {Explainability Is \emph{Not} a Game},
  journal      = {Commun. {ACM}},
  volume       = {67},
  number       = {7},
  pages        = {66--75},
  year         = {2024}
}

@inproceedings{DBLP:conf/icml/KumarVSF20,
  author       = {I. Elizabeth Kumar and
                  Suresh Venkatasubramanian and
                  Carlos Scheidegger and
                  Sorelle A. Friedler},
  title        = {Problems with Shapley-value-based explanations as feature importance
                  measures},
  booktitle    = {Proceedings of the 37th International Conference on Machine Learning},
  series       = {Proceedings of Machine Learning Research},
  volume       = {119},
  pages        = {5491--5500},
  publisher    = {{PMLR}},
  year         = {2020}
}

@inproceedings{DBLP:conf/nips/LundbergL17,
  author       = {Scott M. Lundberg and
                  Su{-}In Lee},
  editor       = {Isabelle Guyon and
                  Ulrike von Luxburg and
                  Samy Bengio and
                  Hanna M. Wallach and
                  Rob Fergus and
                  S. V. N. Vishwanathan and
                  Roman Garnett},
  title        = {A Unified Approach to Interpreting Model Predictions},
  booktitle    = {Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems},
  pages        = {4765--4774},
  year         = {2017}
}

@inproceedings{DBLP:conf/kdd/Ribeiro0G16,
  author       = {Marco T{\'{u}}lio Ribeiro and
                  Sameer Singh and
                  Carlos Guestrin},
  editor       = {Balaji Krishnapuram and
                  Mohak Shah and
                  Alexander J. Smola and
                  Charu C. Aggarwal and
                  Dou Shen and
                  Rajeev Rastogi},
  title        = {"Why Should {I} Trust You?": Explaining the Predictions of Any Classifier},
  booktitle    = {Proceedings of the 22nd {ACM} {SIGKDD} International Conference on
                  Knowledge Discovery and Data Mining, San Francisco, CA, USA, August
                  13-17, 2016},
  pages        = {1135--1144},
  publisher    = {{ACM}},
  year         = {2016}
}

@inproceedings{DBLP:conf/aistats/KarimiBBV20,
  author       = {Amir{-}Hossein Karimi and
                  Gilles Barthe and
                  Borja Balle and
                  Isabel Valera},
  editor       = {Silvia Chiappa and
                  Roberto Calandra},
  title        = {Model-Agnostic Counterfactual Explanations for Consequential Decisions},
  booktitle    = {The 23rd International Conference on Artificial Intelligence and Statistics},
  series       = {Proceedings of Machine Learning Research},
  volume       = {108},
  pages        = {895--905},
  publisher    = {{PMLR}},
  year         = {2020}
}

@article{WachterMR2018,
  author       = {Sandra Wachter and
                  Brent D. Mittelstadt and
                  Chris Russell},
  title        = {Counterfactual Explanations without Opening the Black Box: Automated
                  Decisions and the {GDPR}},
  journal      = {Harvard Journal of Law \& Technology},
  volume       = {31},
  number       = {2},
  pages        = {841-887},
  year         = {2018}
}

@article{DBLP:journals/datamine/Guidotti24,
  author       = {Riccardo Guidotti},
  title        = {Counterfactual explanations and how to find them: literature review
                  and benchmarking},
  journal      = {Data Min. Knowl. Discov.},
  volume       = {38},
  number       = {5},
  pages        = {2770--2824},
  year         = {2024}
}

@inproceedings{DBLP:conf/aaai/IgnatievNM19,
  author       = {Alexey Ignatiev and
                  Nina Narodytska and
                  Jo{\~{a}}o Marques{-}Silva},
  title        = {Abduction-Based Explanations for Machine Learning Models},
  booktitle    = {Proceedings of The Thirty-Third {AAAI} Conference on Artificial Intelligence},
  pages        = {1511--1519},
  publisher    = {{AAAI} Press},
  year         = {2019}
}

@article{DBLP:journals/informs/ChinneckD91,
  author       = {John W. Chinneck and
                  Erik W. Dravnieks},
  title        = {Locating Minimal Infeasible Constraint Sets in Linear Programs},
  journal      = {{INFORMS} J. Comput.},
  volume       = {3},
  number       = {2},
  pages        = {157--168},
  year         = {1991}
}

