Certifying Solution Geometry in Random CSPs: Counts, Clusters and Balance.

Jun-Ting Hsieh Sidhanth Mohanty Jeff Xu

Published in: CCC (2022)

Keyphrases

clustering algorithm
linear equations
optimal solution
cluster analysis
constraint satisfaction problems
constraint satisfaction
backtracking algorithm
search space
data points
closed form
constraint propagation
constraint problems
neural network
input data
mathematical model