TY - RPRT TI - Algebraic Model Counting for Global Analysis of Optimal Decision Trees AU - Hiroki Arimura PY - 2026 UR - https://arxiv.org/abs/2607.02069 ID - 2607.02069 ER -