Adaptive Large-Neighbourhood Search for Optimisation in Answer-Set Programming

From MaRDI portal