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

From MaRDI portal
Dataset:6723559