Conditional Dichotomy of Boolean Ordered Promise CSPs.
Joshua BrakensiekVenkatesan GuruswamiSai SandeepPublished in: Electron. Colloquium Comput. Complex. (2021)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- real valued
- boolean functions
- decision diagrams
- random field model
- arc consistency
- non binary
- symmetry breaking
- solving constraint satisfaction problems
- ordered sets
- boolean logic
- constraint propagation
- constraint problems
- constraint networks
- conditional logic
- constraint programming
- np complete
- np hard
- partially ordered
- neural network
- conditional probabilities
- hypertree decomposition