One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction.
Jan TönshoffBerke KisinJakob LindnerMartin GrohePublished in: IJCAI (2023)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- neural network
- constraint programming
- robust fault detection
- constraint propagation
- heuristic search
- artificial neural networks
- cost function
- russian doll search
- constraint solving
- soft constraints
- global search
- arc consistency
- particle swarm optimization algorithm
- phase transition
- mathematical model
- particle swarm optimization
- search algorithm
- objective function