@misc{indiciae6980ed3abf2d,
  title = {Interpretable Decision Trees Through MaxSAT},
  author = {Josep Alos and Carlos Ansotegui and Eduard Torres},
  year = {2022},
  url = {https://arxiv.org/abs/2110.13854},
  note = {Source identifier: 2110.13854}
}