Conditional Dichotomy of Boolean Ordered Promise CSPs.
Joshua BrakensiekVenkatesan GuruswamiSai SandeepPublished in: ICALP (2021)
Keyphrases
- constraint satisfaction problems
- decision diagrams
- constraint satisfaction
- random field model
- constraint propagation
- boolean functions
- arc consistency
- solving constraint satisfaction problems
- real valued
- search space
- constraint programming
- ordered sets
- distributed constraint satisfaction
- non binary
- partially ordered
- boolean queries
- lower bound
- hypertree decomposition
- backtracking algorithm
- probabilistic model
- tree decomposition
- path consistency
- data sets
- np complete
- heuristic search
- planning problems