cause the necessity to be able to explain the prediction and behavior of machine learning
models. A prominent example of particularly intuitive explanations of AI models in the
context of decision making are counterfactual explanations. Yet, it is still an open research
problem how to efficiently compute counterfactual explanations for many models. We
investigate how to efficiently compute counterfactual explanations for an important class of …