基于约束推理的大学排课：案例研究

University Timetabling by Constraint-Based Reasoning: A Case Study

• S. B. Deris
• S. Omatu
• H. Ohta
• P. A. B. D. Samat