A Study of Parallel Continuous Local Search

El estudio investiga la Búsqueda Local Continua Paralela (CLS) como enfoque para problemas de satisfacibilidad booleana con restricciones pseudo-booleanas simétricas. Presenta hallazgos empíricos que sugieren que las restricciones redundantes pueden inhibir la convergencia, que la CLS promete en entornos híbridos y que la búsqueda local converge rápidamente a una distribución estable de calidad de solución.