How to refute a random CSP.

Sarah R. Allen Ryan O'Donnell David Witmer

Published in: CoRR (2015)

Keyphrases

constraint satisfaction problems
random instances
constraint programming
tree decomposition
phase transition
constraint satisfaction
constraint propagation
uniformly distributed
decomposition methods
information retrieval
feature selection
multiscale
probabilistic model
constraint networks