@misc{indiciae473bdb34003e,
  title = {An efficient SAT formulation for learning multiple criteria non-compensatory sorting rules from examples},
  author = {K. Belahcène and C. Labreuche and N. Maudet and V. Mousseau and W. Ouerdane},
  year = {2017},
  url = {https://arxiv.org/abs/1710.10098},
  note = {Source identifier: 1710.10098}
}