How Random CSPs Fool Hierarchies.

Siu On Chan Hiu Tsun Ng Sijin Peng

Published in: STOC (2024)

Keyphrases

constraint satisfaction problems
constraint satisfaction
binary csps
arc consistency
constraint propagation
hierarchical structure
hypertree decomposition
databases
lower bound
np hard
case study
artificial intelligence
satisfiability problem
information retrieval
uniformly distributed
non binary
sat problem