排课问题主要解决时间和空间资源冲突,以优化教学资源和教学时间的分配,实现教学资源的负载均衡。提出一种新的排课约束的表述框架——时间地点限定表达式,可以通过形式推理缩减排课问题空间,支持基于案例和规则的排课问题求解。