@misc{indiciae2b5b2b604347,
  title = {Constraint solvers: An empirical evaluation of design decisions},
  author = {Lars Kotthoff},
  year = {2010},
  url = {https://arxiv.org/abs/1002.0134},
  note = {Source identifier: 1002.0134}
}