Conditional Dichotomy of Boolean Ordered Promise CSPs.
Joshua BrakensiekVenkatesan GuruswamiSai SandeepPublished in: CoRR (2021)
Keyphrases
- constraint satisfaction problems
- decision diagrams
- constraint satisfaction
- real valued
- boolean functions
- search space
- random field model
- constraint propagation
- tree decomposition
- arc consistency
- constraint problems
- backtracking algorithm
- boolean logic
- ordered sets
- solving constraint satisfaction problems
- information retrieval
- partial constraint satisfaction
- symmetry breaking
- constraint networks
- constraint programming
- np complete
- path consistency
- non binary
- hypertree decomposition
- randomly generated