Smooth approximations and CSPs over finitely bounded homogeneous structures.

Antoine Mottet Michael Pinsker

Published in: LICS (2022)

Keyphrases

constraint satisfaction problems
constraint satisfaction
constraint propagation
arc consistency
inductive inference
closed form
constraint programming
finite number
data sets
search space
hypertree decomposition