Large-Neighbourhood Search for Optimisation in Answer-Set Solving.

Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova

Browse the full AAAI paper archive.