SAT-Based Decision Tree Learning for Large Data Sets

Schidler and Szeider. "SAT-Based Decision Tree Learning for Large Data Sets." Journal of Artificial Intelligence Research, 2024. doi:10.1613/JAIR.1.15956

[Schidler and Szeider. "SAT-Based Decision Tree Learning for Large Data Sets." Journal of Artificial Intelligence Research, 2024.](https://mlanthology.org/jair/2024/schidler2024jair-satbased/) doi:10.1613/JAIR.1.15956

@article{schidler2024jair-satbased,
  title     = {{SAT-Based Decision Tree Learning for Large Data Sets}},
  author    = {Schidler, André and Szeider, Stefan},
  journal   = {Journal of Artificial Intelligence Research},
  year      = {2024},
  pages     = {875-918},
  doi       = {10.1613/JAIR.1.15956},
  volume    = {80},
  url       = {https://mlanthology.org/jair/2024/schidler2024jair-satbased/}
}