Solving Satisfaction Problems Using Large-Neighbourhood Search.

Gustav Bjrdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack

Browse the full CP paper archive.