An Order out of Nowhere: A New Algorithm for Infinite-Domain {CSP}s.
Antoine MottetTomás NagyMichael PinskerPublished in: ICALP (2024)
Keyphrases
- times faster
- learning algorithm
- k means
- cost function
- objective function
- computational complexity
- experimental evaluation
- linear programming
- similarity measure
- recognition algorithm
- convergence rate
- theoretical analysis
- computational cost
- np hard
- detection algorithm
- significant improvement
- preprocessing
- improved algorithm
- non binary
- worst case
- scheduling problem
- expectation maximization
- computationally efficient
- clustering method
- ant colony optimization
- matching algorithm
- constraint propagation