Approximate Counting CSP Seen from the Other Side.

Andrei A. Bulatov Stanislav Zivný

Published in: ACM Trans. Comput. Theory (2020)

Keyphrases

constraint networks
constraint satisfaction problems
constraint satisfaction
arc consistency
constraint programming
orders of magnitude
database
constraint propagation
neural network
database systems
video sequences
artificial neural networks
search space
np hard
np complete