Boolean Satisfiability

A Study of Parallel Continuous Local Search

O estudo investiga a Busca Local Contínua Paralela (CLS) como abordagem para problemas de satisfatibilidade booleana com restrições pseudo-booleanas simétricas. Apresenta descobertas empíricas, como o fato de restrições redundantes poderem inibir a convergência, a promessa da CLS em configurações híbridas e a rápida convergência para uma distribuição estável de qualidade da solução.