A Study of Parallel Continuous Local Search
Signal
72
Hype
15
En 3 lignesÉtude du Continuous Local Search (CLS) parallèle pour résoudre des problèmes SAT avec contraintes pseudo-booléennes symétriques. Les auteurs relaxent le problème en optimisation continue sur hypercube et montrent que les contraintes redondantes peuvent ralentir la convergence, que CLS fonctionne bien en sous-solveur hybride, et que la convergence stagne rapidement sur des objectifs saddle-dense.Lire la source
Ton avis ?
Résumé généré par Claude — vérifié par l'humain