A hybrid solver for large neighborhood search: Mixing gecode and EasyLocal++

Abstract

We present a hybrid solver (called GELATO) that exploits the potentiality of a Constraint Programming (CP) environment (Gecode) and of a Local Search (LS) framework (EasyLocal++). GELATO allows the user to easily develop and use hybrid meta-heuristic combining CP and LS phases (in particular Large Neighborhood Search). We tested some hybrid algorithms on different instances of the Asymmetric Traveling Salesman Problem: even if only naive LS strategies have been used, our meta-heuristics improve the standard CP and LS methods, in terms of both quality of the solution reached and execution time. GELATO will be integrated into a more general tool to solve Constraint Satisfaction/ Optimization Problems. Moreover, it can be seen as a new library for approximate and efficient searching in Gecode.

Publication
CEUR Workshop Proceedings
Date
Links