Local Geometry of NAE-SAT Solutions in the Condensation Regime.

Allan Sly Youngtak Sohn

Published in: STOC (2024)

Keyphrases

stochastic local search algorithms
optimal solution
neural network
satisfiability problem
three dimensional
lower bound
evolutionary algorithm
particle filter
solution space
sat solvers
geometric constraints