Formal Explanations of Black-Box Ranking Functions. - Francesco Chiariello; Joao Marques-Silva (JELIA (1), 2025)