Sparsification of Binary CSPs.

Silvia Butti Stanislav Zivný

Published in: SIAM J. Discret. Math. (2020)

Keyphrases

binary csps
non binary
constraint satisfaction problems
constraint satisfaction
least squares
arc consistency
regularization method
np hard
dynamic programming
probabilistic model
constraint programming
constraint propagation