Local geometry of NAE-SAT solutions in the condensation regime.

Allan Sly Youngtak Sohn

Published in: CoRR (2023)

Keyphrases

three dimensional
search procedures
stochastic local search algorithms
solution quality
particle filter
orders of magnitude
steady state
search strategies
phase transition
sat solvers
geometric constraints
propositional satisfiability