@InProceedings{priority,
  author    = {Thibaut Feydy and Adrian Goldwaser and Andreas Schutt and Peter J. Stuckey and Kenneth D. Young},
  title     = {Priority Search with MiniZinc},
  booktitle = {International Workshop on Constraint Modelling and Reformulation},
  year      = {2017},
}