Tous les modèles ne se valent pas. A chaque technique de résolution sont associés un certain nombre de schémas de modélisation (modeling patterns). Ainsi les modèles conçus pour la Programmation Linéaire en Nombres Entiers (PLNE) nécessitent de linéariser les structures non linéaires du problème, et gagnent à être formulés de façon à définir un bon polyèdre. Ils peuvent aussi intégrer des contraintes visant à briser les symétries. De même, un problème peut être formulé de diverses manières dans le cadre de la Programmation Par Contraintes (PPC), en employant éventuellement des contraintes redondantes pour mieux filtrer, en choissant des variables entières ou ensemblistes, ou encore en adoptant un double point de vue avec contraintes de "channeling".
Jusqu'à présent,l'absence de solver "model & run" pour la recherche locale a masqué quelque peu ces techniques de modélisation pour la recherche locale puisque l'algorithme et le modèle était intimement liés et développés simultanément. Dans cet exposé nous présenterons six principes de modélisation que nous illustrerons par de nombreux modèles LocalSolver.