Constrained Sequential Inference in Machine Learning Using Constraint Programming. - Virasone Manibod; David Saikali; Gilles Pesant (IJCAI, 2025)