Skip to content
Sagan

Paper

A Study of Parallel Continuous Local Search

Unreadunread

AI summary

arXiv:2606. 06656v1 Announce Type: new Abstract: We study parallel Continuous Local Search (CLS) as a solution approach for Boolean satisfiability problems with symmetric pseudo-Boolean (PB) constraints.