LocalSolver est un solveur d'optimisation mathématique qui intègre à la fois des méthodes heuristiques et des méthodes exactes. Il dispose de variables de collection, les listes. Ces variables permettent de modéliser efficacement les problèmes de tournées de véhicules. Les formulations avec des listes sont particulièrement adaptées à la recherche par voisinage et donnent de très bons résultats sur les problèmes de tournées de véhicules.
Cependant, les modèles formulés avec des listes ne sont pas linéaires, ce qui empêche le solveur MIP de LocalSolver de les résoudre. C'est pourquoi, nous souhaitons automatiser la reformulation linéaire de ces modèles. Le solveur MIP pourra ainsi traiter la formulation linéaire du problème, tandis qu'en parallèle la recherche locale se lancera sur la formulation avec liste. Des travaux préliminaires confirment que la combinaison de la recherche locale avec la programmation linéaire permet d'améliorer significativement de nombreuses instances académiques de CVRPTW.