@article{OrdyniakPRS26,
 author = {Sebastian Ordyniak and
Giacomo Paesani and
Mateusz Rychlicki and
Stefan Szeider},
 doi = {10.1016/J.ARTINT.2025.104441},
 journal = {Artificial Intelligence},
 keywords = {asksat, reveal, strides},
 pages = {104441},
 title = {A General Theoretical Framework for Learning Smallest Interpretable
Models},
 url = {https://doi.org/10.1016/j.artint.2025.104441},
 volume = {350},
 year = {2026}
}