A Lean Constraint-Based System to Support Intelligent Tutoring | IEEE Conference Publication | IEEE Xplore