walsh-fourier

本文研究针对具有伪布尔约束的布尔可满足性问题的并行连续局部搜索（CLS），发现冗余约束会抑制收敛，且CLS在混合设置中作为子求解器具有潜力。