The Number of Solutions for Random Regular NAE-SAT.

Allan Sly Nike Sun Yumeng Zhang

Published in: FOCS (2016)

Keyphrases

small number
bayesian networks
optimal solution
optimization problems
search strategies
benchmark problems
maximum number
randomly distributed