Eiter, T.; Geibinger, T.; Higuera Ruiz, N.; Musliu, N.; Oetsch, J.; Stepanova, D. Large-Neighbourhood Search for Optimisation in Answer-Set Solving. AAAI 2022, 36, 5616-5625.