Constraints Modeling of the High School Scheduling Problem

摘要

This article describes modeling process of the High School Scheduling problem using the classes of the Constraint Solving Engine (CSE) and a Constraint Programming Library (CPL). The theoretical and mathematical foundations of our ideas and the problem solving process are explained. The modeling phases and the model evolution are elaborated.