Login / Signup
Approximate counting CSP seen from the other side.
Andrei A. Bulatov
Stanislav Zivný
Published in:
CoRR (2019)
Keyphrases
</>
constraint satisfaction problems
constraint satisfaction
arc consistency
constraint propagation
decomposition methods
data sets
neural network
case study
lower bound
np hard
orders of magnitude
constraint programming
piecewise linear