Breaking of 1RSB in Random Regular MAX-NAE-SAT.

Zsolt Bartha Nike Sun Yumeng Zhang

Published in: FOCS (2019)

Keyphrases

phase transition
satisfiability problem
sat solvers
uniformly distributed
randomly chosen
boolean satisfiability
sat problem
random instances
pseudo boolean constraints
real time
stochastic local search