@misc{indiciae1a7d1371b178,
  title = {Witty: An Efficient Solver for Computing Minimum-Size Decision Trees},
  author = {Luca Pascal Staus and Christian Komusiewicz and Frank Sommer and Manuel Sorge},
  year = {2024},
  url = {https://arxiv.org/abs/2412.11954},
  note = {Source identifier: 2412.11954}
}