Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
SEER: Supervised Learning to Control Energetic Reasoning
Sascha Van Cauwelaert, Michele Lombardi, Pierre Schaus
One of the main strengths of Constraint Programming is the ability to reduce the search space via propagation. However, propagation is a double-edged sword, with more pruning power…
cs.AI2025
A Generic Complete Anytime Beam Search for Optimal Decision Tree
Harold Silvère Kiossou, Siegfried Nijssen, Pierre Schaus
Finding an optimal decision tree that minimizes classification error is known to be NP-hard. While exact algorithms based on MILP, CP, SAT, or dynamic programming guarantee optimal…