A. Ignatiev, E. Lam, P. J. Stuckey, and J. Marques-Silva, “A Scalable Two Stage Approach to Computing Optimal Decision Sets”, AAAI, vol. 35, no. 5, pp. 3806-3814, May 2021.