T. Eiter, T. Geibinger, N. Higuera Ruiz, N. Musliu, J. Oetsch, and D. Stepanova, “Large-Neighbourhood Search for Optimisation in Answer-Set Solving”, AAAI, vol. 36, no. 5, pp. 5616–5625, Jun. 2022.