Adaptive large-neighbourhood search for optimisation in answer-set programming. - Thomas Eiter; Tobias Geibinger; Nelson Higuera Ruiz; Nysret Musliu; Johannes Oetsch; Dave Pfliegler; Daria Stepanova 001 (Artif. Intell., 2024)