@misc{indiciae9cd9cfdf89d6,
  title = {Solving finite-domain linear constraints in presence of the \$\textbackslash{}texttt\{alldifferent\}\$},
  author = {Milan Banković},
  year = {2016},
  doi = {10.2168/lmcs-12(3:5)2016},
  url = {https://arxiv.org/abs/1607.02466},
  note = {Source identifier: 1607.02466}
}