Promise Constraint Satisfaction: Algebraic Structure and a Symmetric Boolean Dichotomy.
Joshua BrakensiekVenkatesan GuruswamiPublished in: Electron. Colloquium Comput. Complex. (2016)
Keyphrases
- constraint satisfaction
- algebraic structure
- constraint satisfaction problems
- heuristic search
- constraint programming
- boolean functions
- constraint propagation
- numerical analysis
- probabilistic reasoning
- vector space
- phase transition
- arc consistency
- probability theory
- constraint relaxation
- soft constraints
- reinforcement learning
- computational framework
- constraint networks
- state space
- constraint solving
- constrained problems
- objective function
- neural network
- max csp
- russian doll search