Ignatiev, A.; Lam, E.; Stuckey, P. J.; Marques-Silva, J. A Scalable Two Stage Approach to Computing Optimal Decision Sets. AAAI 2021, 35, 3806-3814.