TY  - RPRT
TI  - SAT-based Encodings for Optimal Decision Trees with Explicit Paths
AU  - Mikoláš Janota
AU  - António Morgado
PY  - 2026
DO  - 10.1007/978-3-030-51825-7_35
UR  - https://arxiv.org/abs/2609.27874
ID  - 2609.27874
ER  -