@inproceedings{SchidlerSzeider21,
 author = {Andr\'{e} Schidler and Stefan Szeider},
 booktitle = {Proceeding of AAAI-21, the Thirty-Fifth AAAI
Conference on Artificial Intelligence},
 keywords = {reveal, slim},
 pages = {3904--3912},
 publisher = {{AAAI} Press},
 title = {{SAT}-based Decision Tree Learning for Large Data Sets},
 url = {https://ojs.aaai.org/index.php/AAAI/article/view/16509},
 year = {2021}
}