Login / Signup
Complexity of solving a system of difference constraints with variables restricted to a finite set.
Santiago Cifuentes
Francisco J. Soulignac
Pablo Terlisky
Published in:
CoRR (2022)
Keyphrases
</>
finite domain
finite number
small number
constraint programming
constraint problems
function symbols
constraint sets
neural network
bayesian networks
objective function
np complete
space complexity
soft constraints
partial solutions
cardinality constraints
propositional formulas