Eiter, Thomas, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, and Daria Stepanova. 2022. “Large-Neighbourhood Search for Optimisation in Answer-Set Solving”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (5):5616-25. https://doi.org/10.1609/aaai.v36i5.20502.