Promise Constraint Satisfaction: Algebraic Structure and a Symmetric Boolean Dichotomy.
Joshua BrakensiekVenkatesan GuruswamiPublished in: SIAM J. Comput. (2021)
Keyphrases
- constraint satisfaction
- algebraic structure
- constraint satisfaction problems
- heuristic search
- vector space
- phase transition
- constraint propagation
- boolean functions
- constraint programming
- arc consistency
- numerical analysis
- constraint solving
- soft constraints
- russian doll search
- probabilistic reasoning
- probability theory
- search algorithm
- robust fault detection
- constraint networks
- high dimensional
- reinforcement learning
- constrained problems
- decision making
- max csp
- neural network