A Study of Parallel Continuous Local Search

Die Studie untersucht die parallele kontinuierliche lokale Suche (CLS) als Lösungsansatz für boolesche Erfüllbarkeitsprobleme mit symmetrischen Pseudo-Boolean-Constraints. Empirische Ergebnisse zeigen, dass redundante Constraints die Konvergenz hemmen können, CLS vielversprechend in hybriden Umgebungen ist und die lokale Suche schnell zu einer stabilen Lösungsqualitätsverteilung konvergiert.