@misc{indiciaec04e6f4da7cf,
  title = {On the speed of constraint propagation and the time complexity of arc consistency testing},
  author = {Christoph Berkholz and Oleg Verbitsky},
  year = {2013},
  url = {https://arxiv.org/abs/1303.7077},
  note = {Source identifier: 1303.7077}
}