@article{amulticoretoolforconstraintsolving,
  title = {A Multicore Tool for Constraint Solving},
  author = {Roberto Amadini and Maurizio Gabbrielli and Jacopo Mauro},
  year = {2015},
  eprint = {1502.03986},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1502.03986v3},
}