A Study of Parallel Continuous Local Search
Cette étude examine la Recherche Locale Continue Parallèle (CLS) comme solution aux problèmes de satisfiabilité booléenne avec des contraintes pseudo-booléennes symétriques. Elle révèle empiriquement que les contraintes redondantes peuvent entraver la convergence, que la CLS est prometteuse dans des configurations hybrides, et que la recherche locale converge rapidement vers une distribution stable de qualité de solution.