How to Refute a Random CSP.

Sarah R. Allen Ryan O'Donnell David Witmer

Published in: FOCS (2015)

Keyphrases

constraint satisfaction problems
constraint satisfaction
machine learning
constraint networks
uniformly distributed
random instances
learning algorithm
knowledge base
similarity measure
search algorithm
probabilistic model
constraint programming
constraint propagation
arc consistency
tree decomposition