Conditional Dichotomy of Boolean Ordered Promise CSPs.
Joshua BrakensiekVenkatesan GuruswamiSai SandeepPublished in: TheoretiCS (2023)
Keyphrases
- constraint satisfaction problems
- decision diagrams
- constraint satisfaction
- random field model
- constraint propagation
- real valued
- boolean functions
- solving constraint satisfaction problems
- non binary
- search space
- neural network
- constraint networks
- conditional probabilities
- markov decision processes
- conditional logic
- symmetry breaking
- partial constraint satisfaction
- ordered sets
- hypertree decomposition
- constraint problems
- partially ordered
- constraint programming
- learning algorithm