FourierCSP: Differentiable Constraint Satisfaction Problem Solving by Walsh-Fourier Expansion

Yunuo Cen, Zixuan Wang, Jintao Zhang +2

The Constraint-satisfaction problem (CSP) is fundamental in mathematics, physics, and theoretical computer science. Continuous local search (CLS) solvers, as recent advancements, c…