@article{SchidlerSzeider24,
 author = {Andr\'{e} Schidler and Stefan Szeider},
 journal = {Journal of Artificial Intelligence Research},
 keywords = {reveal, strides},
 pages = {875--918},
 title = {{SAT}-based Decision Tree Learning for Large Data Sets},
 volume = {80},
 year = {2024}
}