@misc{indiciaee6dfca82b858,
  title = {A MIP Backend for the IDP System},
  author = {San Pham and Jo Devriendt and Maurice Bruynooghe and Patrick De Causmaecker},
  year = {2016},
  url = {https://arxiv.org/abs/1609.00759},
  note = {Source identifier: 1609.00759}
}